Skip to main content
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