Theorem: Associated'.refl (Flt/Edwards.lean)

State before:
x : ℤ√(-3)
⊢ Associated x x
Tactic:
rfl
State after:
no goals