aboutsummaryrefslogtreecommitdiff
path: root/hott/Equivalence2.thy (follow)
Commit message (Expand)AuthorAgeFilesLines
* begin refactoring EquivalenceJosh Chen2021-06-281-0/+458
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-18 09:14:57 +0000