Timeline for Are there interesting examples of theorems proved using ‘height’ extensions?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 26, 2022 at 22:09 | vote | accept | Neil Barton | ||
| Apr 24, 2022 at 22:00 | answer | added | Joel David Hamkins | timeline score: 1 | |
| Apr 24, 2022 at 21:13 | answer | added | Joel David Hamkins | timeline score: 6 | |
| Apr 9, 2022 at 0:40 | history | edited | LSpice | CC BY-SA 4.0 |
TeX -> Unicode quotes in title; various `\math` fonts
|
| Apr 8, 2022 at 23:59 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 103 characters in body
|
| Apr 6, 2022 at 10:28 | history | asked | Neil Barton | CC BY-SA 4.0 |