Basic Rules for Proofs

From Nathan Smith  

comments