Documentation
Lean
.
Elab
.
Tactic
.
Conv
Search
Google site search
return to top
source
Imports
Init
Lean.Elab.Tactic.Conv.Basic
Lean.Elab.Tactic.Conv.Change
Lean.Elab.Tactic.Conv.Congr
Lean.Elab.Tactic.Conv.Delta
Lean.Elab.Tactic.Conv.Pattern
Lean.Elab.Tactic.Conv.Rewrite
Lean.Elab.Tactic.Conv.Simp
Lean.Elab.Tactic.Conv.Unfold
Imported by