## Substitution [/]

The expression ([/] A x ph) means that every time we see the variable x in the formula φ we replace it with A.

### Examples

• (<-> ([/] A y (= (+ y B) (+ B y))) (= (+ A B) (+ B A))) /edit/peano/peano_thms.gh/sbc-addcom

### Definition

Substitution is defined here.