Theorem Irrational.of_intCast_mul

Modification history