Def Mathlib.Meta.FunProp.GeneralTheorem.getProof

Modification history