Theorem irrational_intCast_mul_iff

Modification history