Def Mathlib.Meta.FunProp.FunctionData.nontrivialDecomposition

Modification history