Theorem Tree.comp_traverse

Modification history

2026-06-08 18:33

Mathlib/Data/Tree/Traversable.lean

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

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