Substitution

Equality as a balance relation

Equality is a claim that two expressions name the same quantity, checkable and preservable under matched changes to both sides, not a command to compute.

7 min