Def Mathlib.Linter.Style.oldObtainLinter

Modification history