Theorem ordinal.cof_eq_one_iff_is_succ
Modification history
2018-04-16 19:01
set_theory/cofinality.lean
chore(*): trailing spaces
Modified ordinal.cof_eq_one_iff_is_succView on Github →2018-01-06 18:57
set_theory/cofinality.lean
feat(set_theory/cofinality): regular/inaccessible cards, Konig's theorem, next fixpoint function
Modified ordinal.cof_eq_one_iff_is_succView on Github →