Def Mathlib.Linter.Style.Header.broadImportsCheck

Modification history

2026-09-01 18:09

Mathlib/Tactic/Linter/Header.lean

perf(Tactic/Linter/Header): different implementation for header linter (#40347) …

Added Mathlib.Linter.Style.Header.broadImportsCheck View on Github →