Theorem Irrational.of_mul_intCast

Modification history