Theorem Ordinal.isNormal_add_right

Modification history