Theorem Ordinal.sup_eq_sup

Modification history