Theorem Ordinal.add_omega0

Modification history