Documentation
Lean
.
Meta
.
Sym
.
Simp
.
Main
Search
return to top
source
Imports
Lean.Meta.Sym.AlphaShareBuilder
Lean.Meta.Sym.Simp.App
Lean.Meta.Sym.Simp.Forall
Lean.Meta.Sym.Simp.Have
Lean.Meta.Sym.Simp.SimpM
Lean.Meta.Sym.Simp.Simproc
Imported by
← Copula mathematical handbook