Theorem linear_order_cases_on_lt
Modification history
2017-10-24 22:31
data/rat.lean
feat(data/num,data/nat/cast,...): nat,num,int,rat.cast, list stuff
Deleted linear_order_cases_on_ltView on Github →2017-07-30 00:48
data/rat.lean
feat(data/rat): new rat representation using canonical elements …
Modified linear_order_cases_on_ltView on Github →