diff options
| author | Josh Chen | 2018-08-30 00:45:08 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-08-30 00:45:08 +0200 |
| commit | a7b46d4b0204571ba9124accebc84f77ae0bed26 (patch) | |
| tree | 5b96f1637659816097c12cdeb3b518e6f7fe0034 /HoTT_Methods.thy | |
| parent | 5193d4dd1ebef7fa000489710ff138ab98876c52 (diff) | |
Add leq relation to meta-ordinals, it helps with proofs
Diffstat (limited to 'HoTT_Methods.thy')
0 files changed, 0 insertions, 0 deletions