Theorem Ordinal.cof_eq_one_iff_is_succ

Modification history