[add] Update PartialSetoid reasoning#2689
Merged
MatthewDaggitt merged 5 commits intoagda:masterfrom Apr 21, 2025
Merged
Commits
Commits on Apr 3, 2025
- committed
Commits on Apr 7, 2025
Commits on Apr 8, 2025
- authored
Commits on Apr 10, 2025
- authored