[Merged by Bors] - chore(Data/Tree/Basic): Rename Tree to BinaryTree#39707

sorrachai wants to merge 45 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

sorrachai:rename_tree_to_binary_treesorrachai/mathlib4:rename_tree_to_binary_treeCopy head branch name to clipboard