Metamath Proof Explorer

Table of Contents - 17.2.1. April Fool's theorem

1. avril1
2. 2bornot2b
3. helloworld
4. 1p1e2apr1
5. eqid1
6. 1div0apr
7. topnfbey
8. 9p10ne21
9. 9p10ne21fool