Mathlib.Tactic.Rename
source
rename' h => hnew renames the hypothesis named h to hnew. To rename several hypothesis, use rename' h₁ => h₁new, h₂ => h₂new. You can use rename' a => b, b => a to swap two variables.
rename' h => hnew
h
hnew
rename' h₁ => h₁new, h₂ => h₂new
rename' a => b, b => a