Learning Path for Simplify

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

Additive Identity Variation

Transitive Property of Equality Variation 1

Divide Both Sides

Transitive Property of Equality Variation 2

Multiplicative Property of Equality Variation 2

Transitive Property of Equality Variation 3

Division is Commutative

Associative Property

Multiplicative Property of Equality Variation 1