Metamath Proof Explorer

Table of Contents - 21.29.5. Experiments with weak deduction theorem

1. elimhyps
2. dedths
3. renegclALT
4. elimhyps2
5. dedths2
6. nfcxfrdf
7. nfded
8. nfded2
9. nfunidALT2
10. nfunidALT
11. nfopdALT