Documentation

Lean.Meta.Reduce

def Lean.Meta.reduce (e : Lean.Expr) (explicitOnly : optParam Bool true) (skipTypes : optParam Bool true) (skipProofs : optParam Bool true) :
Equations
Instances For