Structure Mathlib.Meta.FunProp.RefinedDiscrTree

Modification history