A historical note on the extended fundamental theorem of identity types#1313
Merged
EgbertRijke merged 2 commits intoUniMath:masterfrom fredrik-bakke:hostorical-note-extended-fundamental-theorem-idFeb 10, 2025
+9-5
Commits
Commits on Feb 10, 2025
- committed
- committed
