Theorem Ordinal.isInitial_omega

Modification history