Theorem Tree.comp_map

Modification history

2026-06-08 18:33
Mathlib/Data/Tree/Basic.lean
chore(Data/Tree/Basic): Rename Tree to BinaryTree (#39707) …
Deleted Tree.comp_mapView 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.comp_mapView on Github →