Theorem Ordinal.natCast_opow

Modification history