Inductive Mathlib.Linter.TextBased.OutputSetting

Modification history