Learning Path for Simplify4

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

Multiplicative Property of Equality Variation 1
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
Subtract From Both Sides Mirror
Simplify4
Start Path