Theorem Ordinal.preOmega_le_of_forall_lt

Modification history