Def Mathlib.Linter.Style.lambdaSyntax.findLambdaSyntax

Modification history

2024-08-26 12:01

Mathlib/Tactic/Linter/Lint.lean

feat: the lambdaSyntax linter (#15896) …

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