Theorem: gaussInt.norm_pos (LeanCourse/MIL/C06_Structures/S03_Building_the_Gaussian_Integers.lean)

State before:
x : gaussInt
⊢ 0 < norm x ↔ x ≠ 0
Tactic:
sorry
State after:
no goals