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