Def Mathlib.Linter.TextBased.copyrightHeaderLinter

Modification history