Theorem Ordinal.omega_le

Modification history