Theorem Ordinal.sup_typein_limit

Modification history