Def Mathlib.Linter.Style.lambdaSyntax.lambdaSyntaxLinter

Modification history

2024-08-26 12:01

Mathlib/Tactic/Linter/Lint.lean

feat: the lambdaSyntax linter (#15896) …

Added Mathlib.Linter.Style.lambdaSyntax.lambdaSyntaxLinter View on Github →