Learning Path for Reorder Terms

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

Multiplicative Property of Equality Variation 1

First Term Substitution

Associative Property of Multiplication 2

Transitive Property of Equality Variation 2

Transitive Property Application 2

Swap 2 and 3 Theorem