Def Mathlib.Meta.FunProp.getTransitionTheorems

Modification history