Theorem Irrational.natCast_mul

Modification history