Timeline for Posets (partially ordered sets) in equational logic
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 8, 2016 at 2:53 | comment | added | H Koba | It's nice. It also resolves the cases of preorders and topological spaces. | |
| Apr 8, 2016 at 2:48 | vote | accept | H Koba | ||
| Apr 6, 2016 at 12:51 | history | answered | Zhen Lin | CC BY-SA 3.0 |