Theorem Ordinal.one_add_omega0

Modification history