Def Mathlib.Linter.Style.multiGoal.multiGoalLinter

Modification history

2024-10-21 06:32
Mathlib/Tactic/Linter/Multigoal.lean
feat: the multiGoal linter (#12339) …
Added Mathlib.Linter.Style.multiGoal.multiGoalLinterView on Github →