Skip to content

Use Künneth for product bundle cohomology - #26

Draft
pbelmans wants to merge 10 commits into
mainfrom
feat/kunneth-bundle-cohomology
Draft

Use Künneth for product bundle cohomology#26
pbelmans wants to merge 10 commits into
mainfrom
feat/kunneth-bundle-cohomology

refactor: simplify Künneth recognition

5aa4b88
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar