Theorem Ordinal.sup_eq_of_range_eq

Modification history