diff options
Diffstat (limited to 'entries/markusde')
| -rw-r--r-- | entries/markusde/collatz/collatz.pdf | bin | 86872 -> 87475 bytes | |||
| -rw-r--r-- | entries/markusde/collatz/collatz.tex | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/entries/markusde/collatz/collatz.pdf b/entries/markusde/collatz/collatz.pdf Binary files differindex 69fc363..efec35b 100644 --- a/entries/markusde/collatz/collatz.pdf +++ b/entries/markusde/collatz/collatz.pdf diff --git a/entries/markusde/collatz/collatz.tex b/entries/markusde/collatz/collatz.tex index b7febb2..8e18088 100644 --- a/entries/markusde/collatz/collatz.tex +++ b/entries/markusde/collatz/collatz.tex @@ -8,7 +8,7 @@ \noindent The least fixed point of \begin{align*} - h & : (\mathbb{Z}_\bot \to \mathbb{Z}_\bot) \to (\mathbb{Z}_\bot \to \mathbb{Z}_\bot) \\ + h & : (\mathbb{N}_\bot \to \mathbb{Z}_\bot) \to (\mathbb{N}_\bot \to \mathbb{Z}_\bot) \\ h(F)(n) & = \begin{cases} 1 & n = 1 \\ |