Commit 2024-07-18 01:47 e077c935
View on Github →feat: interior and boundary of a product manifold (#14802) I intend to use these results for formalising the beginnings of bordism theory.
feat: interior and boundary of a product manifold (#14802) I intend to use these results for formalising the beginnings of bordism theory.