Def depthFirstRemovingDuplicates

Modification history

2025-03-04 03:24

Mathlib/Data/MLList/DepthFirst.lean

chore: remove >6 month old deprecations (#22473)

Deleted depthFirstRemovingDuplicates View on Github →

2023-07-19 08:39

Mathlib/Data/ListM/DepthFirst.lean

chore: remove unneeded unsafe modifiers in ListM (#5989) …

Added depthFirstRemovingDuplicates View on Github →