Zulip Chat Archive
Stream: general
Topic: Using `assoc_rw`
Chris Hughes (Jul 07 2019 at 09:49):
Is there an attribute I should add to matrix.mul_assoc to be able to use assoc_rw?
Simon Hudon (Jul 07 2019 at 15:43):
That's a problem I've been postponing
Simon Hudon (Jul 07 2019 at 15:43):
In general, I'd like to handle composition in category theory but because of the complexity in the types, it's not a direct extension
Last updated: Dec 20 2023 at 11:08 UTC