Theorem: evilFn_is_evil (Lectures/CantorTree.lean)

State before:
⊢ evilFn (Coe.coe (CantorTree.node evilFn)) = !evilFn (Coe.coe (CantorTree.node evilFn))
Tactic:
conv => 
  lhs
  rw [evilFn, coe_eq]
State after:
no goals