Documentation
Batteries
.
Tactic
.
Lint
Search
Google site search
return to top
source
Imports
Init
Batteries.Tactic.Lint.Frontend
Batteries.Tactic.Lint.Misc
Batteries.Tactic.Lint.Simp
Batteries.Tactic.Lint.TypeClass
Imported by
Mathlib.Tactic.CategoryTheory.Elementwise
Mathlib.Tactic.Simps.NotationClass
Mathlib.Tactic.Widget.Conv
Mathlib.Control.Functor
Mathlib.Tactic.ToAdditive.Frontend
Mathlib.Tactic.Linter.Lint