Theorem Ordinal.deriv_isNormal

Modification history