Inductive Mathlib.Linter.TextBased.ErrorFormat

Modification history