rename

rename changes the name of an introduced variable or assumption.

Syntax

(* Simple example *)
rename x into y.

Examples

Before

n: nat
=========================
1/1
n = n

rename n into x.

After

x: nat
=========================
1/1
x = x

Resources

Reference Documentation

---