Learning Path for Substitute First Term

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

Substitute First Term Pre
Transitive Property of Equality Variation 2
Substitute First Term
Start Path