Def Tree.getOrElse

Modification history

2024-06-08 18:34

Mathlib/Data/Tree/Basic.lean

chore(Data/Tree): split file (#13629) …

Modified Tree.getOrElse View on Github →

2023-03-12 12:39

Mathlib/Data/Tree.lean

feat: Port Data.Tree (#2587)

Added Tree.getOrElse View on Github →