Def Mathlib.Linter.Flexible.Stained.toFMVarId

Modification history

2024-09-05 20:53

Mathlib/Tactic/Linter/FlexibleLinter.lean

feat: flexible linter and tests (#11821) …

Added Mathlib.Linter.Flexible.Stained.toFMVarId View on Github →