Timeline for In choiceless constructivism: If $f'=0$ then is $f$ constant?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 1, 2022 at 19:25 | history | undeleted | saolof | ||
| Dec 1, 2022 at 19:25 | history | edited | saolof | CC BY-SA 4.0 |
added 366 characters in body
|
| Dec 1, 2022 at 0:49 | history | deleted | saolof | via Vote | |
| Dec 1, 2022 at 0:31 | history | answered | saolof | CC BY-SA 4.0 |