Theorem: EnumDecide.Zmod3.assoc (UnitConjecture/EnumDecide.lean)

State before:
⊢ ∀ (x y z : Fin 3), x + y + z = x + (y + z)
Tactic:
decide
State after:
no goals