Def Mathlib.Linter.Style.extendedBinder.extendedBinderLinter

Modification history

2026-10-17 17:39
Mathlib/Tactic/Linter/Style.lean
feat(Linter/Style): lint against `∀ᵉ`/`∃ᵉ` (#44544) …
Added Mathlib.Linter.Style.extendedBinder.extendedBinderLinterView on Github →