Structure Mathlib.Linter.TextBased.ErrorContext

Modification history