Timeline for What is the status of Jordan's theorem in constructive mathematics in the language of locales?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 2, 2021 at 18:53 | vote | accept | Arshak Aivazian | ||
| Nov 2, 2021 at 18:53 | comment | added | Arshak Aivazian | Thank you very much for your clarification, it is very helpful to me! I'll mark this as the accepted answer, unless of course someone posts the short paper :) | |
| Nov 2, 2021 at 15:16 | history | edited | Simon Henry | CC BY-SA 4.0 |
edited body
|
| Nov 2, 2021 at 14:44 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 439 characters in body
|
| Nov 2, 2021 at 14:35 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 45 characters in body
|
| Nov 2, 2021 at 14:29 | history | answered | Simon Henry | CC BY-SA 4.0 |