Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-06-15 18:23
03092720
View on Github →
feat(Linter): enforce
since :=
fields in
@[deprecated]
(
#13678
)
Estimated changes
Modified
Mathlib/Tactic/Linter/Lint.lean
added
def
Std.Tactic.Lint.deprecatedNoSince