Skip to content

WithGivens for monoidal and (co)cartesian derivations #3996

WithGivens for monoidal and (co)cartesian derivations

WithGivens for monoidal and (co)cartesian derivations #3996