Fermat numbers
Fermat numbers

Main set.mm:
* ~muls1d, ~isprm7, ~6p4e10b, ~9p1e10b, ~ltsubnn0 moved from mathboxes
* new theorems about decimal integers added: ~3decltc , ~decaddm10, ~decsubi, ~decmul1, ~decmulnc, ~11multnc, ~decmul10add, ~9t11e99, ~sq10, ~sq10e99m1, ~ 3dec
* new theorems about the molulo operation and the divides relation added: ~mulp1mod1, ~summodnegmod, ~nndivides, ~3dvdsdec, ~3dvds2dec, ~dvdsprmpweq, ~dvdsprmpweqle
* misc. theorems added: ~muladd11r, ~fzo1to4tp

AV's MAthbox:
* section "Fermat numbers" with a definition of Fermat numbers and related theorems added

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