Theorem ordinal.zero_eq_lift_type_empty
Modification history
2022-06-10 02:04
src/set_theory/ordinal/basic.lean
feat(set_theory/ordinal/basic): tweak theorems on order type of empty relation (#14650) …
Deleted ordinal.zero_eq_lift_type_emptyView on Github →