Mathlib Changelog
v4
Changelog
About
Github
Def
BinaryTree.height
Modification history
2026-06-08 18:33
Mathlib/Data/Tree/Basic.lean
chore(Data/Tree/Basic): Rename Tree to BinaryTree (#39707) …
Added
BinaryTree.height
View on Github →