Def Tree.traverse

Modification history

2026-06-08 18:33

Mathlib/Data/Tree/Basic.lean

chore(Data/Tree/Basic): Rename Tree to BinaryTree (#39707) …

Deleted Tree.traverse View 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 View on Github →