Commit 2023-10-23 14:19 2b385e24
View on Github →feat: locally ringed space structure on a manifold (#7423) Equip a smooth manifold-with-corners with the structure of a locally ringed space.
feat: locally ringed space structure on a manifold (#7423) Equip a smooth manifold-with-corners with the structure of a locally ringed space.