Talk:Principle of Commutation/Forward Implication/Formulation 1/Proof
Jump to navigation
Jump to search
For the record, that link to Metamath appears never to have existed on the Principle of Commutation page, and by extension none of those which were created from it. So where was that link, originally? --prime mover (talk) 22:36, 6 February 2013 (UTC)