Def Mathlib.Linter.Style.usesNativeConfig

Modification history

2026-08-31 16:15
Mathlib/Tactic/Linter/DeprecatedSyntaxLinter.lean
refactor(Tactic/Linter): rename and generalize `linter.style.nativeDecide` to `linter.style.native` (#43194) …
Added Mathlib.Linter.Style.usesNativeConfigView on Github →