Commit 2024-01-05 09:42 a310a89b

feat: Boundaryless manifold (#9323) This is a more general notion of boundaryless manifold than ModelWithCorners.Boundaryless, which requires the ModelWithCorners to map to the whole model vector space. To justify this new type class, consider the interior of a manifold with non-empty boundary. It inherits a manifold structure via its embedding, and it would be convenient to use the same ModelWithCorners for the interior as for the whole space. Even though the interior is boundaryless, its inherited ModelWithCorners doesn't satisfy ModelWithCorners.Boundaryless.