Theorem Irrational.intCast_mul

Modification history