Timeline for Homeomorphisms and "mod finite"
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 21 at 14:26 | comment | added | Bjørn Kjos-Hanssen | Every statement in the first paragraph only 🙂. | |
| Apr 21 at 8:35 | comment | added | Ville Salo | Every statement? Did you formalize the snake construction? ;) | |
| Apr 21 at 7:29 | history | edited | Emil JeÅ™ábek | CC BY-SA 4.0 |
edited body
|
| Apr 21 at 4:30 | comment | added | Bjørn Kjos-Hanssen | I can confirm that every statement here is correct. Formalized in Lean at github.com/bjoernkjoshanssen/bay/blob/main/ville-salo.lean | |
| Jul 4, 2020 at 20:55 | comment | added | Bjørn Kjos-Hanssen | This is great. This $f$ makes $f^{-1}\circ \sigma\circ f$ not preserve $=^*$ too, so it subsumes all my follow up questions | |
| Jul 4, 2020 at 20:49 | history | edited | LSpice | CC BY-SA 4.0 |
'is' -> 'if'
|
| Jul 4, 2020 at 20:16 | vote | accept | Bjørn Kjos-Hanssen | ||
| Jul 4, 2020 at 20:09 | comment | added | Ville Salo | As for the follow-up question from the comment on the other answer, the preservation of $E_0$ is uniform with $m_0 = n_0+1$. | |
| Jul 4, 2020 at 20:04 | history | edited | Ville Salo | CC BY-SA 4.0 |
added 59 characters in body
|
| Jul 4, 2020 at 19:58 | history | answered | Ville Salo | CC BY-SA 4.0 |