Def Mathlib.Notation.isExplicitBinderSingular

Modification history