Create the page "Oerjan" on this wiki! See also the page found with your search.
<oerjan> EvilTerran: no, it's for turning cotheorems into ffee.
<slava> oerjan: it's not clear that the category of cocoffee is isomorphic to ffee
3 KB (546 words) - 02:15, 6 August 2008