Learning Path for Substitute

The following is a list of all proofs that are used to prove either Substitute or its ancestor proofs.

Add Term to Both Sides 2
Commutative Property Example 2
Commutative Property Variation 1
Add Term to Both Sides 3
Transitive Property of Equality Variation 1
Subtract From Both Sides
Substitute
Start Path