Theorem irrational_div_intCast_iff

Modification history