Skip to content

[WIP] more work towards displayed monoidal category - #13

Open
benediktahrens wants to merge 2 commits into
rmatthes:bicategoricalparamdistrfrom
benediktahrens:bicategoricalparamdistr-ba
Open

[WIP] more work towards displayed monoidal category#13
benediktahrens wants to merge 2 commits into
rmatthes:bicategoricalparamdistrfrom
benediktahrens:bicategoricalparamdistr-ba

displayed triangle equality

90dbf3d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs