Learning Path for Zero Plus a 2

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

Equality Example
Transitive Property of Equality Variation 2
Zero Plus a
Zero Plus a 2
Start Path