Timeline for Compactness in Bishop's constructive mathematics
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 14, 2016 at 9:37 | vote | accept | Mikhail Katz | ||
| Jan 15, 2016 at 16:03 | history | edited | François G. Dorais | CC BY-SA 3.0 |
citation
|
| Jan 15, 2016 at 15:11 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
fix typo
|
| Jan 15, 2016 at 13:24 | history | answered | Andrej Bauer | CC BY-SA 3.0 |