Fermat numbers (continued)
Fermat numbers (continued)

Main set.mm:
* ~nnnfi moved from GS's mathbox
* ~coprmdvds1 added

AV's Mathbox:
* Theorems about Fermat numbers added, especially a proof of the infinitude of prime numbers using Goldbach's theorem (~prminf2).

metamath/set.mm,metamath/set.mm,metamath/set.mm