Def Mathlib.Linter.Style.Header.anyOf

Modification history

2026-10-06 10:22

Mathlib/Tactic/Linter/Header.lean

feat(Linter/Header): allow enabling Verso before module doc (#44158) …

Added Mathlib.Linter.Style.Header.anyOf View on Github →