Def Mathlib.Linter.TextBased.StyleError.errorCode

Modification history