diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-09-29 10:21:09 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-09-29 10:21:09 -0500 |
| commit | 89598e5a738170648393c3c111c95318ce39263a (patch) | |
| tree | 69020f7a4f002345bb81a4fff7ef83aa0f15d2c6 /Cospan | |
| parent | 517c1bd04877885720f7998d71f2062d4a93467a (diff) | |
Prove associativity for decorated cospan composition
Diffstat (limited to 'Cospan')
0 files changed, 0 insertions, 0 deletions