Theorem Ordinal.le_preOmega_self

Modification history