Theorem Ordinal.nat_lt_omega

Modification history