Database
GUIDES AND MISCELLANEA
Humor
April Fool's theorem
Next ⟩
avril1
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 17.2.1. April Fool's theorem
avril1
2bornot2b
helloworld
1p1e2apr1
eqid1
1div0apr
topnfbey
9p10ne21
9p10ne21fool