Theorem Ordinal.nat_cast_mul

Modification history