Theorem Ordinal.isNormal_opow

Modification history