Def Mathlib.Linter.Style.deprecatedSyntaxLinter

Modification history