Set quotients by dependent products of finite families of equivalence relations#1895
Open
lowasser wants to merge 26 commits intoUniMath:masterfrom
Open
Set quotients by dependent products of finite families of equivalence relations#1895lowasser wants to merge 26 commits intoUniMath:masterfrom
lowasser wants to merge 26 commits intoUniMath:masterfrom
Commits
Commits on Mar 10, 2026
- committed
- committed
Commits on Mar 16, 2026
- committed
- committed
Commits on Mar 17, 2026
- committed
- committed
Commits on Mar 19, 2026
- committed
- authored
- committed
- committed
- committed
Commits on Mar 22, 2026
- andauthored
- committed
- committed
- committed
- authored
Commits on Mar 23, 2026
Commits on Mar 24, 2026
Commits on Apr 1, 2026
- committed
- committed