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 |
|