Metamath Proof Explorer

Table of Contents - 20.38.8. Virtual Deduction transcriptions of textbook proofs

1. sb5ALTVD
2. vk15.4jVD
3. notnotrALTVD
4. con3ALTVD