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

State before:
x : Nat
t2 : NatTree
⊢ splice (node x []) t2 = node x [t2]
Tactic:
rfl
State after:
no goals