Theorem Ordinal.one_lt_omega0

Modification history