Documentation
Lean
.
Elab
.
Tactic
.
Conv
.
Unfold
Search
Google site search
Lean
.
Elab
.
Tactic
.
Conv
.
Unfold
source
Imports
Init
Lean.Elab.Tactic.Unfold
Lean.Elab.Tactic.Conv.Simp
Imported by
Lean
.
Elab
.
Tactic
.
Conv
.
evalUnfold
source
def
Lean
.
Elab
.
Tactic
.
Conv
.
evalUnfold
:
Lean.Elab.Tactic.Tactic
Instances For