Timeline for Free ordered field?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 29, 2019 at 14:20 | vote | accept | Zemyla | ||
| Oct 28, 2019 at 21:24 | history | edited | Johannes Hahn | CC BY-SA 4.0 |
Added some clarification on "the" forgetful functor
|
| Oct 28, 2019 at 21:02 | history | answered | Johannes Hahn | CC BY-SA 4.0 |