Structures · Geometry
ModelWithCorners.Boundaryless
Property ensuring that the model with corners I defines manifolds without boundary. This
differs from the more general BoundarylessManifold, which requires every point on the manifold
to be an interior point.
- Shape
- One type argument · adds range_eq_univ
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by23
- ModelWithCorners.range_eq_univ
- OpenPartialHomeomorph.map_extend_nhds_of_boundaryless
- MDifferentiableOn.norm_eqOn_of_isPreconnected_of_isMaxOn
- ModelWithCorners.Boundaryless.range_eq_univ
- ModelWithCorners.toHomeomorph
- MDifferentiable.isLocallyConstant
- OpenPartialHomeomorph.extend_image_nhds_mem_nhds_of_boundaryless
- MDifferentiableOn.apply_eq_of_isPreconnected_isCompact_isOpen
- isOpen_extChartAt_target
- Complex.norm_eventually_eq_of_mdifferentiableAt_of_isLocalMax
- boundary_product
- OpenPartialHomeomorph.isOpen_extend_target
- MDifferentiable.exists_eq_const_of_compactSpace
- ModelWithCorners.toHomeomorph_symm_apply
- extChartAt_target_mem_nhds'
- extChartAt_target_mem_nhds
- MDifferentiableOn.eqOn_of_isPreconnected_of_isMaxOn_norm
- ModelWithCorners.toHomeomorph_apply
- MDifferentiable.apply_eq_of_compactSpace
- extChartAt_image_nhds_mem_nhds_of_boundaryless
- map_extChartAt_nhds_of_boundaryless
- ModelWithCorners.range_eq_univ_prod
- ModelWithCorners.instBoundarylessManifold
Ancestors0
No ancestors.