aboutsummaryrefslogtreecommitdiff
path: root/hott/Propositions.thy (unfollow)
Commit message (Expand)AuthorFilesLines
2021-04-10start hprop stuffJosh Chen1-0/+19