Theorem Ordinal.mem_range_omega_iff

Modification history