diff options
| author | Josh Chen | 2020-05-29 10:20:36 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-05-29 10:20:36 +0200 |
| commit | 41da54eca527b7c61f13ebcb75a8970bc845bb40 (patch) | |
| tree | f5ee5fad3b514eb97dac2db061bc47c523849b9e /hott/Equivalence.thy | |
| parent | 417af1adf5453720c55e27de212b830569311f0e (diff) | |
minor
Diffstat (limited to 'hott/Equivalence.thy')
0 files changed, 0 insertions, 0 deletions