Skip to main content
4 events
when toggle format what by license comment
Dec 8, 2017 at 8:28 comment added მამუკა ჯიბლაძე There is also the unary operator $s$ which is needed to define membership, and I would say in a sense having this operator is equivalent to having membership defined.
May 9, 2011 at 1:37 history edited Sridhar Ramesh CC BY-SA 3.0
deleted 1 characters in body
May 9, 2011 at 0:12 history edited Sridhar Ramesh CC BY-SA 3.0
added 646 characters in body; added 4 characters in body; deleted 28 characters in body; added 37 characters in body; edited body; deleted 2 characters in body; added 3 characters in body
May 9, 2011 at 0:04 history answered Sridhar Ramesh CC BY-SA 3.0