Compare a proof in a text book or most papers with this: http://us.metamath.org/...

		jk4930 on July 30, 2016 \| parent \| context \| favorite \| on: What is a Proof? Compare a proof in a text book or most papers with this: http://us.metamath.org/mpegif/mmset.html