Theorem irrational_mul_intCast_iff

Modification history