Descent and induction principle of identity types of coequalizers#1140
Draft
VojtechStep wants to merge 10 commits intoUniMath:masterfrom VojtechStep:feature/coequalizers
+2,121-314
Commits
Commits on May 17, 2024
Commits on May 19, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed