Learning Path for Algebra 8

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

Multiplicative Property of Equality Variation 1
Substitution 12
Substitution 15
Associative Property of Multiplication 2
Transitive Property of Equality Variation 2
Transitive Property Application 2
Swap 2 and 3 Theorem
Swap Terms 2 and 3
Transitive Property of Equality Variation 1
Algebra 8
Start Path