Def Mathlib.Linter.TextBased.isCorrectAuthorsLine

Modification history