Theorem Ordinal.add_isNormal

Modification history