Def Mathlib.Meta.FunProp.isOrderedSubsetOf

Modification history