Next: sp, Up: Miscellaneous Rules
This handy little rule allows one to use proofs one has already done. The premises don't have to match exactly, but must be of the same form.