Theorem Ordinal.isInitial_omega0

Modification history