Learning Path for Manipulation

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

Associative Property of Multiplication 2

Division Theorem

Substitute Two Variables Theorem

Transitive Property of Equality Variation 2

Transitive Property Application 2

Swap 2 and 3 Theorem

Reorder Terms 7

Reorder Terms 8

Inverse Example