Learning Path for Simplify

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

Transitive Property of Equality Variation 2

Transitive Property of Equality Variation 1

Division Property of Equality

Multiplicative Property of Equality Variation 2

Transitive Property of Equality Variation 3

Division is Commutative

Associative Property

Multiplicative Property of Equality Variation 1