diff options
| author | markusde | 2022-10-25 04:05:09 +0000 |
|---|---|---|
| committer | markusde | 2022-10-25 04:05:34 +0000 |
| commit | 781b027bc09bcda00f93a0f0ee749a25ff657cde (patch) | |
| tree | 401acfd25ab734ad635d3999d555d42a8d3b0c55 /entries | |
| parent | 3929549460cd5b4a71e196400b0cbfda67b7acb0 (diff) | |
god is dead 2
Diffstat (limited to 'entries')
| -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 \\ |