Theorem irrational_intCast_add_iff

Modification history