Theorem irrational_ratCast_mul_iff

Modification history