Theorem Irrational.mul_intCast

Modification history