Timeline for "All retracts are closed" as separation axiom
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 27, 2022 at 17:57 | comment | added | Andrej Bauer | Oops, sorry about that, I deleted the fake news and alternative facts. | |
| Nov 27, 2022 at 17:56 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
deleted 396 characters in body
|
| Nov 26, 2022 at 22:19 | comment | added | Andreas Blass | You seem to have proved the right-to-left direction twice and not proved the converse. | |
| Dec 18, 2014 at 10:03 | history | answered | Andrej Bauer | CC BY-SA 3.0 |