Timeline for How should the proof of the XYZ theorem be understood?
Current License: CC BY-SA 4.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 21, 2023 at 8:03 | history | edited | Jukka Kohonen | CC BY-SA 4.0 |
Tag fix (order lattices, not subgroups of space) & grammar
|
Mar 7, 2019 at 4:32 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
Added reference to paper
|
Mar 7, 2019 at 4:26 | comment | added | Sam Hopkins | (I made a slight edit replacing $\wedge$ by "and" because I was extremely confused about the claimed result at first- parsing $y \wedge x$ as the meet of $y$ and $x$.) | |
Mar 7, 2019 at 4:24 | history | edited | Sam Hopkins | CC BY-SA 4.0 |
added 8 characters in body
|
Mar 7, 2019 at 3:36 | comment | added | darij grinberg | In what sense are the $x_i$ elements of $P$? | |
Mar 6, 2019 at 21:02 | history | asked | Hao | CC BY-SA 4.0 |