Learning Path for Subtracti Insn 9

The following is a list of all proofs that are used to prove either Subtracti Insn 9 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 9
Start Path