Theorem Ordinal.opow_isNormal

Modification history