Def Mathlib.Linter.Style.header.headerTestFiles

Modification history

2026-01-16 17:58
Mathlib/Tactic/Linter/Header.lean
fix(Tactic/Linter): support Verso docstrings in header style linter (#33914) …
Added Mathlib.Linter.Style.header.headerTestFilesView on Github →