Theorem: Cpdt.Chapter3.EvenList.nil_eappend (Cpdt/Chapter3/Mutual.lean)

State before:
ys : EvenList
⊢ eappend nil ys = ys
Tactic:
rfl
State after:
no goals