Documentation
Lean
.
Meta
.
Sym
.
DSimp
Search
return to top
source
Imports
Lean.Meta.Sym.DSimp.App
Lean.Meta.Sym.DSimp.DSimpM
Lean.Meta.Sym.DSimp.DSimproc
Lean.Meta.Sym.DSimp.EvalGround
Lean.Meta.Sym.DSimp.Forall
Lean.Meta.Sym.DSimp.Lambda
Lean.Meta.Sym.DSimp.Let
Lean.Meta.Sym.DSimp.Main
Lean.Meta.Sym.DSimp.Reduce
Lean.Meta.Sym.DSimp.Result
Lean.Meta.Sym.DSimp.Variant
Imported by
← Copula mathematical handbook