Theorem Ordinal.omega0_le

Modification history