A series of equality lemmas for SetQuotient#1259
Merged
maxsnew merged 6 commits intoagda:masterfrom Oct 2, 2025
reswatson:master
Merged
A series of equality lemmas for SetQuotient#1259maxsnew merged 6 commits intoagda:masterfrom reswatson:master
maxsnew merged 6 commits intoagda:masterfrom
reswatson:master
Commits
Commits on Sep 17, 2025
Commits on Sep 25, 2025
Commits on Sep 27, 2025
- committed