Def Mathlib.Linter.Flexible.getFVarIdCandidates

Modification history

2024-09-05 20:53
Mathlib/Tactic/Linter/FlexibleLinter.lean
feat: flexible linter and tests (#11821) …
Added Mathlib.Linter.Flexible.getFVarIdCandidatesView on Github →