Def Mathlib.Linter.TextBased.compare

Modification history