Theorem Ordinal.isNormal_mul_right

Modification history