Def Mathlib.Linter.isOutside

Modification history