Decidable Setoid -> Apartness Relation and Rational Heyting Field#2194
Merged
JacquesCarette merged 16 commits intoagda:masterfrom May 22, 2024
Merged
Decidable Setoid -> Apartness Relation and Rational Heyting Field#2194JacquesCarette merged 16 commits intoagda:masterfrom
JacquesCarette merged 16 commits intoagda:masterfrom
Commits
Commits on Nov 5, 2023
Commits on Nov 7, 2023
Commits on Nov 9, 2023
- committed
- committed
- committed
