Structures · Geometry
LieAddGroup
An additive Lie group is a group and a C^n manifold at the same time in which
the addition and negation operations are C^n.
- Shape
- 3 explicit arguments · adds contMDiff_neg
Extends1
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 by38
- ContMDiffWithinAt.neg
- contMDiff_addInvariantVectorField
- LieAddGroup.contMDiff_neg
- ContMDiffAt.neg
- contMDiff_neg
- inverse_mfderiv_add_left
- addInvariantVectorField_eq_mpullback
- contMDiffAt_addInvariantVectorField
- ContMDiff.neg
- mpullback_addInvariantVectorField
- mdifferentiableAt_addInvariantVectorField
- ContMDiffOn.sub
- ContMDiffOn.neg
- ContMDiff.sub
- smoothSheafAddGroup
- instLieRingAddGroupLieAlgebra
- addInvariantVector_mlieBracket
- ContMDiffWithinAt.sub
- instAddCommGroupObjOppositeOpensCarrierOfPresheafSmoothSheaf
- instLieAlgebraAddGroupLieAlgebra
- LieAddGroup.of_le
- instLieAddGroupOfTopWithTopENat
- ContMDiffAt.sub
- ContMDiffMap.coe_neg
- ContMDiffMap.addGroup
- mdifferentiable_addInvariantVectorField
- LieAddGroup.toContMDiffAdd
- smoothSheafAddCommGroup
- instLieAddGroupOfNatWithTopENat
- smoothPresheafAddGroup
- ContMDiffMap.coe_sub
- instAddGroupObjOppositeOpensCarrierOfPresheafSmoothSheaf
- instLieAddGroupOfSomeENatTopOfLEInfty
- topologicalAddGroup_of_lieAddGroup
- smoothPresheafAddCommGroup
- smoothSheafAddCommGroup.compLeft
- Prod.instLieAddGroup
- ContMDiffMap.addCommGroup