Inductive Mathlib.Linter.TextBased.ComparisonResult

Modification history