PR !4#15906: feat: define singular manifolds

Stream: triage

[Random Issue Bot]

Today I chose PR #15906 for discussion!

feat: define singular manifolds
Created by @None (@grunweg) on 2024-08-17
Labels: t-differential-geometry

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

[Michael Rothgang]

Still relevant (the first PR towards the definition of bordism groups), and awaiting review.