feat(Data/Tree/Basic): add Membership instance, new notation, rename Tree #39697

sorrachai wants to merge 9 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

sorrachai:BinaryTreesorrachai/mathlib4:BinaryTreeCopy head branch name to clipboard