Theorem irrational_add_intCast_iff

Modification history