diff options
| author | Josh Chen | 2019-02-23 18:14:09 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-23 18:14:09 +0100 |
| commit | e9df793ecee5a1e3b94615a701a5cea8640d0b87 (patch) | |
| tree | 59703cf44826d0cfe4fc122e105f7ea2330d1ef7 /HoTT_Methods.thy | |
| parent | ad48f9176c58bdd4066389faa7a256fda8b58932 (diff) | |
more proofs involving equality
Diffstat (limited to 'HoTT_Methods.thy')
0 files changed, 0 insertions, 0 deletions