Skip to content

Migrate MSet to use quotients to eliminate axioms#1061

Merged
strub merged 1 commit into
mainfrom
migrate-to-quotient
Jun 25, 2026
Merged

Migrate MSet to use quotients to eliminate axioms#1061
strub merged 1 commit into
mainfrom
migrate-to-quotient

migrate `MSet` to use quotients to eliminate axioms

34ea006
Select commit
Loading
Failed to load commit list.
Sign in for the full log view