Theorem: coe_eq (GroupComp/CantorTree.lean)

State before:
t : CantorTree
⊢ Coe.coe (Coe.coe t) = t
Tactic:
sorry
State after:
no goals