Def Mathlib.Linter.Style.dollarSyntax.findDollarSyntax

Modification history