aboutsummaryrefslogtreecommitdiff
path: root/ex/HoTT book
diff options
context:
space:
mode:
authorJosh Chen2018-08-30 00:45:08 +0200
committerJosh Chen2018-08-30 00:45:08 +0200
commita7b46d4b0204571ba9124accebc84f77ae0bed26 (patch)
tree5b96f1637659816097c12cdeb3b518e6f7fe0034 /ex/HoTT book
parent5193d4dd1ebef7fa000489710ff138ab98876c52 (diff)
Add leq relation to meta-ordinals, it helps with proofs
Diffstat (limited to 'ex/HoTT book')
0 files changed, 0 insertions, 0 deletions