Timeline for Locales in constructive mathematics
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 17, 2017 at 21:05 | vote | accept | Valery Isaev | ||
| Jul 17, 2017 at 17:10 | comment | added | Simon Henry | @MikeShulman : Oh ! yes you are right, thank you ! (I've edited) | |
| Jul 17, 2017 at 17:10 | history | edited | Simon Henry | CC BY-SA 3.0 |
deleted 3 characters in body
|
| Jul 17, 2017 at 11:16 | comment | added | Mike Shulman | By "already the case in constructive mathematics" do you mean "already the case in classical mathematics"? | |
| Jul 17, 2017 at 11:10 | history | edited | Simon Henry | CC BY-SA 3.0 |
added 108 characters in body
|
| Jul 17, 2017 at 11:05 | history | edited | Simon Henry | CC BY-SA 3.0 |
added 108 characters in body
|
| Jul 17, 2017 at 8:33 | history | edited | Simon Henry | CC BY-SA 3.0 |
added 270 characters in body
|
| Jul 17, 2017 at 8:24 | history | answered | Simon Henry | CC BY-SA 3.0 |