Skip to content

WithGiven* for monoidal Isomorphisms

9698af4
Select commit
Loading
Failed to load commit list.
Open

WithGivens for monoidal and (co)cartesian derivations #1494

WithGiven* for monoidal Isomorphisms
9698af4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs