Metamath Proof Explorer

Table of Contents - 17.2. Humor

  1. April Fool's theorem
    1. avril1
    2. 2bornot2b
    3. helloworld
    4. 1p1e2apr1
    5. eqid1
    6. 1div0apr
    7. topnfbey
    8. 9p10ne21
    9. 9p10ne21fool