Theorem Ordinal.one_add_of_omega0_le

Modification history