Def Std.Tactic.Lint.deprecatedNoSince

Modification history

2024-09-25 00:50
Mathlib/Tactic/Linter/Lint.lean
chore: bump dependencies and adapt to updated namespaces (#17117)
Deleted Std.Tactic.Lint.deprecatedNoSinceView on Github →
2024-06-15 18:23
Mathlib/Tactic/Linter/Lint.lean
feat(Linter): enforce `since :=` fields in `@[deprecated]` (#13678)
Added Std.Tactic.Lint.deprecatedNoSinceView on Github →