Inductive Mathlib.Linter.TextBased.StyleError

Modification history