Theorem irrational_add_rat_iff

Modification history