Theorem Ordinal.sup_natCast

Modification history