diff options
| author | Josh Chen | 2020-07-21 19:31:31 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-07-21 19:31:31 +0200 |
| commit | 6464ab52b593ceb9d92b9c0c38df32c049537262 (patch) | |
| tree | e452653b8966d79e1751915544639eb8b3240576 /hott/Equivalence.thy | |
| parent | 306721649f0963ab225deb8d5670cfe196bb360d (diff) | |
minor
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions