Some closure properties of decidable maps and embeddings#1184
Merged
EgbertRijke merged 16 commits intoUniMath:masterfrom fredrik-bakke:decidable-mapsSep 17, 2024
+670-116
Commits
Commits on Sep 13, 2024
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
