Learning Path for Manipulation 3

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

Multiplicative Property of Equality Variation 1
Associative Property of Multiplication 2
Multiplicative Identity 3
Substitution 12
Manipulation 3
Start Path