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

From Drorbn
Jump to: navigation, search

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