Skip to content

implement allperms to get rid of some unneeded axioms#970

Merged
strub merged 1 commit intomainfrom
remove-axioms
Apr 9, 2026
Merged

implement allperms to get rid of some unneeded axioms#970
strub merged 1 commit intomainfrom
remove-axioms

Commits

Commits on Apr 9, 2026