Theorem Ordinal.range_omega

Modification history