Theorem: Word.eps_eq_nil (FormalSystems/Preliminaries/Word.lean)

State before:
α : Type u_1
⊢ ε = []
Tactic:
rfl
State after:
no goals