Mathlib Changelog
v4
Changelog
About
Github
Structure
Mathlib.Linter.UnusedInstancesInType.Parameter
Modification history
2025-11-25 19:25
Mathlib/Tactic/Linter/UnusedInstancesInType.lean
feat(Linter): port unused `Decidable*` instance hypothesis linter (#31142) …
Added
Mathlib.Linter.UnusedInstancesInType.Parameter
View on Github →