Theorem: C03S04.aux (LeanInRome/S3_Logic/S04_Conjunction_and_Iff.lean)

State before:
x y : ℝ
h : x ^ 2 + y ^ 2 = 0
⊢ x ^ 2 = 0
Tactic:
sorry
State after:
no goals