Documentation
Lean.Elab.Tactic.Conv
Google site search
Lean.Elab.Tactic.Conv
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