Documentation

Lean.Meta.Tactic.Injection

Equations
Equations
def Lean.Meta.heqToEq (mvarId : Lean.MVarId) (fvarId : Lean.FVarId) (tryToClear : Bool) :
Equations
Equations
Equations
Equations
Equations