Theorem: exercise4_6 (LeanCourse/Assignments/Assignment4.lean)

State before:
a b : ℕ
ha : 0 < a
hb : 0 < b
⊢ ¬IsSquare (a ^ 2 + b) ∨ ¬IsSquare (b ^ 2 + a)
Tactic:
sorry
State after:
no goals