Skip to content

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

Open
TOTBWF wants to merge 10 commits intomainfrom
displayed-adjuncts
Open

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

Commits

Commits on Aug 2, 2023