Timeline for What's the difference between a universe level and a natural number?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 21, 2022 at 7:52 | comment | added | Andrej Bauer | I am confused. You asked a question and then gave the most significant answer. Is this part of "let us seed the site with good stuff"? | |
| Feb 20, 2022 at 21:36 | history | edited | ice1000♦ | CC BY-SA 4.0 |
added 7 characters in body
|
| Feb 20, 2022 at 19:27 | history | answered | ice1000♦ | CC BY-SA 4.0 |