Theorem Ordinal.isInitial_preOmega

Modification history