Negation of ∀x ∃y such that "x+y = z and if x then y"

Printable View