Timeline for Every complex number has a square root via LLPO without weak countable choice
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 25, 2020 at 0:22 | history | edited | François G. Dorais |
edited tags
|
|
| Feb 24, 2020 at 22:43 | history | edited | YCor | CC BY-SA 4.0 |
added broad tag, removed capitals, added link
|
| Feb 24, 2020 at 13:28 | vote | accept | wlad | ||
| Feb 24, 2020 at 13:04 | answer | added | François G. Dorais | timeline score: 7 | |
| Feb 24, 2020 at 12:25 | history | edited | wlad | CC BY-SA 4.0 |
from -> via
|
| Feb 24, 2020 at 11:36 | history | edited | wlad | CC BY-SA 4.0 |
added 118 characters in body
|
| Feb 24, 2020 at 11:31 | history | edited | wlad | CC BY-SA 4.0 |
added 39 characters in body
|
| Feb 24, 2020 at 10:56 | history | edited | wlad | CC BY-SA 4.0 |
added 26 characters in body
|
| Feb 24, 2020 at 10:50 | history | asked | wlad | CC BY-SA 4.0 |