Theorem irrational_mul_ratCast_iff

Modification history