The big hoss is equal to \(\{100,100 \underbrace{////\ldots////}_{100} 2\}\) or {L,100}100,100 in BEAF. The name comes from the nickname of Jonathan Bowers' late grandpa.
| Attributes | Values |
|---|---|
| rdfs:label |
|
| rdfs:comment |
|
| dcterms:subject | |
| dbkwik:googology/p...iPageUsesTemplate | |
| abstract |
|