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-11-17 14:40:24 +0000