Learning Path for Simplify 5

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

Distributive Property Variation 2

Commutative Property Variation 1

Term 2 Substitution

Term 1 Substitution

Distributive Property Variation 3

Distributive Property 5

Multiplicative Identity 3