Structures · Geometry
BoundarylessManifold
Type class for manifold without boundary. This differs from ModelWithCorners.Boundaryless,
which states that the ModelWithCorners maps to the whole model vector space.
- Shape
- 2 explicit arguments · adds isInteriorPoint'
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- Real
How is a type an instance?
Loading the hierarchy index…
Assumed by30
- BoundarylessManifold.isInteriorPoint
- ModelWithCorners.Boundaryless.boundary_eq_empty
- isMIntegralCurveOn_Ioo_eqOn_of_contMDiff_boundaryless
- SingularManifold.comap
- ModelWithCorners.boundary_of_boundaryless_left
- eqOn_abs_add_one_of_isMIntegralCurveOn_Ioo
- BoundarylessManifold.isInteriorPoint'
- isMIntegralCurve_Ioo_eq_of_contMDiff_boundaryless
- IsLocalDiffeomorph.boundarylessManifold
- eqOn_of_isMIntegralCurveOn_Ioo
- isMIntegralCurveOn_piecewise
- ModelWithCorners.interior_eq_univ
- IsMIntegralCurve.periodic_of_eq
- exists_isMIntegralCurve_iff_exists_isMIntegralCurveOn_Ioo
- Diffeomorph.boundarylessManifold
- isMIntegralCurve_abs_add_one_of_isMIntegralCurveOn_Ioo
- eqOn_piecewise_of_isMIntegralCurveOn_Ioo
- ModelWithCorners.BoundarylessManifold.open
- SingularManifold.comap_f
- SingularManifold.refl
- SingularManifold.toPUnit
- ModelWithCorners.instIsEmptyElemBoundaryOfBoundarylessManifold
- SingularManifold.comap_M
- isMIntegralCurveAt_eventuallyEq_of_contMDiffAt_boundaryless
- ModelWithCorners.boundaryless_disjointUnion
- ModelWithCorners.BoundarylessManifold.prod
- ModelWithCorners.boundary_of_boundaryless_right
- IsMIntegralCurve.periodic_xor_injective
- exists_isMIntegralCurve_of_isMIntegralCurveOn
- exists_isMIntegralCurveAt_of_contMDiffAt_boundaryless
Ancestors0
No ancestors.