Theorem Ordinal.lt_omega

Modification history