Home |
Source |
rename
changes the name of an introduced variable or assumption.
(* Simple example *)
rename x into y.
Before
n: nat
-------------------------
1/1
n = n
rename n into x.
After
x: nat
-------------------------
1/1
x = x