Def Mathlib.Meta.FunProp.mkProdSplitElem

Modification history