Structure Mathlib.Linter.FormatError

Modification history