Def Mathlib.Linter.TextBased.ErrorContext.find?_comparable

Modification history