Def Mathlib.Linter.TextBased.checkFileLength

Modification history