diff options
| author | Josh Chen | 2018-08-17 13:39:56 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-08-17 13:39:56 +0200 |
| commit | a85c05db8b3952ae07a645abfdd8b5418808cfec (patch) | |
| tree | 181122ca233d1ea25e14ca1bf22ad63388ed85a0 /ex/HoTT book/Ch1.thy | |
| parent | 10757b7f628655f962b2dd1c7849c75098320ed1 (diff) | |
Change unnecessary axiomatization to a definition
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions