The top documents tagged [substitution proof]
2.6 Algebraic Proof
44 views