Def Mathlib.Meta.FunProp.applyTransitionRules

Modification history