PR !4#23138: feat: (unoriented) bordism groups

Stream: triage

[Random Issue Bot]

Today I chose PR #23138 for discussion!

feat: (unoriented) bordism groups
Created by @None (@grunweg) on 2025-03-20
Labels: WIP, merge-conflict, t-differential-geometry

Is this PR still relevant? Any recent updates? Anyone making progress?

[Michael Rothgang]

Still relevant, still blocked on other PRs.

[Michael Rothgang]

Current area of progress is getting smooth submanifolds merged.