diff options
| author | Josh Chen | 2018-09-17 15:33:42 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-09-17 15:33:42 +0200 |
| commit | 8e4ca285430c7bcdabbd4ea34da38e0770f4a832 (patch) | |
| tree | 1675cb6fa436e71270cb953e16895ea3071d3fe5 /HoTT.thy | |
| parent | 76ac8ed82317f3f62f26ecc88f412c61004bcffa (diff) | |
Tweak proof
Diffstat (limited to 'HoTT.thy')
0 files changed, 0 insertions, 0 deletions