Documentation

Lean.Elab.Tactic.Do.ProofMode.RenameI

return to top

source

Imports

Std.Tactic.Do.Syntax
Lean.Elab.Tactic.Do.ProofMode.Basic

Imported by