Learning Path for Double

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

Multiplicative Identity 2

Commutative Property Variation 1

Term 2 Substitution

Distributive Property Variation 4

Multiplicative Property of Equality Variation 1

Addition Theorem

Transitive Property of Equality Variation 2