Documentation
Lean
.
Elab
.
Tactic
.
Conv
Search
return to top
source
Imports
Lean.Elab.Tactic.Conv.Basic
Lean.Elab.Tactic.Conv.Cbv
Lean.Elab.Tactic.Conv.Change
Lean.Elab.Tactic.Conv.Congr
Lean.Elab.Tactic.Conv.Delta
Lean.Elab.Tactic.Conv.Lets
Lean.Elab.Tactic.Conv.Pattern
Lean.Elab.Tactic.Conv.Rewrite
Lean.Elab.Tactic.Conv.Simp
Lean.Elab.Tactic.Conv.Unfold
Imported by
← Copula mathematical handbook