Timeline for Are there interesting examples of theorems proved using ‘height’ extensions?
Current License: CC BY-SA 4.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 24, 2022 at 22:00 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |