Skip to content

add decreases axiom for Vec#2255

Merged
tjhance merged 1 commit intomainfrom
vec-decreases
Mar 22, 2026
Merged

add decreases axiom for Vec#2255
tjhance merged 1 commit intomainfrom
vec-decreases

Commits

Commits on Mar 19, 2026