Theorem Tree.traverse_eq_map_id

Modification history

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