Theorem Ordinal.le_omega_self

Modification history