Def Mathlib.Linter.Style.openClassical.extractOpenNames

Modification history