Theorem Ordinal.nat_lt_omega0

Modification history