Def Tree.unitRecOn

Modification history

2023-08-10 19:52

Mathlib/Data/Tree.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified Tree.unitRecOn View on Github →

2023-03-12 12:39

Mathlib/Data/Tree.lean

feat: Port Data.Tree (#2587)

Added Tree.unitRecOn View on Github →