Theorem irrational_intCast_div_iff

Modification history