The expostfacto function is a function invented by Tom Kreitzberg defined as \(\mathrm{expostfacto}(n) = n^{\mathrm{expostfacto}(n-1)!}\), where \(\mathrm{expostfacto}(1) = 1\).
Attributes | Values |
---|---|
rdfs:label |
|
rdfs:comment |
|
dcterms:subject | |
dbkwik:googology/p...iPageUsesTemplate | |
abstract |
|