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

State before:
⊢ nodeListSize [] = 0
Tactic:
rfl
State after:
no goals