Skip to content

Left/Right Vertical Adjoints are (Op)Fibred, Optimize Diagram Fibration#223

Open
TOTBWF wants to merge 10 commits into
mainfrom
displayed-adjuncts
Open

Left/Right Vertical Adjoints are (Op)Fibred, Optimize Diagram Fibration#223
TOTBWF wants to merge 10 commits into
mainfrom
displayed-adjuncts

minor spelling mistake

75f6619
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs