Learning Path for Subtracti Insn 12

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

Transitive Property of Equality Variation 2
Add Term to Both Sides 2
Commutative Property Example 2
Commutative Property Variation 1
Add Term to Both Sides 3
Transitive Property of Equality Variation 1
Subtract From Both Sides
Subtract From Both Sides Mirror
Subtracti Insn 12
Start Path