Def Lean.NameMap.transitiveReduction

Modification history

2024-01-10 11:53
Mathlib/Util/Imports.lean
refactor: split `ImportGraph` into its own package. (#9169) …
Deleted Lean.NameMap.transitiveReductionView on Github →
2023-07-10 05:24
Mathlib/Util/Imports.lean
feat: `lake exe graph`, as replacement for `leanproject import-graph` (#5513) …
Added Lean.NameMap.transitiveReductionView on Github →