Theorem Tree.traverse_pure

Modification history

2026-06-08 18:33
Mathlib/Data/Tree/Basic.lean
chore(Data/Tree/Basic): Rename Tree to BinaryTree (#39707) …
Deleted Tree.traverse_pureView on Github →
2025-01-23 16:30
Mathlib/Data/Tree/Basic.lean
feat(Data/Control/Traversable/Instances): Add (Lawful)Traversable instance for Tree (#18818) …
Added Tree.traverse_pureView on Github →