Theorem: coe_eq' (GroupComp/CantorTree.lean)

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