diff options
| author | Josh Chen | 2019-03-03 12:38:54 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-03-03 12:38:54 +0100 |
| commit | de6672d6682aea2e7df9e71b2325365dd1383507 (patch) | |
| tree | 7a5c2724d46a567ed144b7ce9eb1d7d5a0e5250d /HoTT_Methods.thy | |
| parent | fa413a91f73773c4cb9c83ed65837320b598e1d4 (diff) | |
Defined idtoeqv. Should next state univalence in terms of an explicit inverse equivalence.
Diffstat (limited to 'HoTT_Methods.thy')
0 files changed, 0 insertions, 0 deletions