Learning Path for Angle to Self

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

Transitive Property of Equality Variation 2
Angle to Self
Start Path