Theorem Ordinal.mem_range_preOmega_iff

Modification history