Notes for AKT-090924-2/0:31:10

From Drorbn
Revision as of 15:13, 17 September 2011 by Iva (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Claim: The co-multiplication is well-defined (check that it is constant for diagrams differing by a relation).