Def Mathlib.Linter.TextBased.StyleError.errorMessage

Modification history