Def Mathlib.Linter.TextBased.outputMessage

Modification history