Theorem irrational_div_ratCast_iff

Modification history