Def StyleError.normalise

Modification history

2024-08-02 08:48
Mathlib/Tactic/Linter/TextBased.lean
feat: rewrite updating style-exceptions in Lean (#14697) …
Deleted StyleError.normaliseView on Github →
2024-06-21 07:01
Mathlib/Tactic/Linter/TextBased.lean
feat: rewrite file length check in Lean (#13620) …
Added StyleError.normaliseView on Github →