Def Mathlib.Meta.FunProp.cacheResult

Modification history