Definition
Associativity of coproducts forms an isomorphism.
assocIso : Iso (a + (b + c)) ((a + b) + c) assocIso = MkIso assocL assocR assocRLR assocLRL
Definition
Associativity of coproducts forms an isomorphism.
assocIso : Iso (a + (b + c)) ((a + b) + c) assocIso = MkIso assocL assocR assocRLR assocLRL