WithGivens for monoidal and (co)cartesian derivations#1494

Open

TKuh wants to merge 4 commits intohomalg-project:masterfrom

TKuh:WithGivens_monoidal

Commits on Nov 29, 2023

WithGiven* in derivations for Braiding
Tom Kuhmichel
committed
WithGiven* in derivations of *Evaluation
Tom Kuhmichel
committed
WithGiven* in derivations of *Compose
Tom Kuhmichel
committed
WithGiven* for monoidal Isomorphisms
Tom Kuhmichel
committed