Def Mathlib.Linter.Style.getDeprecatedSyntax

Modification history