Theorem: Cpdt.Chapter3.NatTree.size_tree (Cpdt/Chapter3/Nested.lean)

State before:
x : Nat
ts : List NatTree
⊢ size (node x ts) = 1 + nodeListSize ts
Tactic:
rw [size]
State after:
no goals