Learning Path for Divide Simplify

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

Multiplicative Property of Equality Variation 1
Associative Property of Multiplication 2
Transitive Property of Equality Variation 2
Transitive Property Application 2
Swap 2 and 3 Theorem
Multiply Reorder 2
Transitive Property of Equality Variation 1
Divide Both Sides
Multiplicative Property of Equality Variation 2
Transitive Property of Equality Variation 3
Division is Commutative
Associative Property
Substitution 12
Divide Simplify
Start Path