Learning Path for Minimum Example 2

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

Compare Example Gt
Greater Than Example
Greater Than Substitution
Minimum Example 2
Start Path