Notes for AKT-090924-2/0:31:10
From Drorbn
Jump to navigationJump to search
Claim: The co-multiplication is well-defined (check that it is constant for diagrams differing by a relation).
Claim: The co-multiplication is well-defined (check that it is constant for diagrams differing by a relation).