Def Mathlib.Meta.FunProp.previouslyUsedThm

Modification history