Theorem Ordinal.principal_add_iff_zero_or_omega0_opow

Modification history