Theorem Ordinal.add_omega

Modification history