Structures · Geometry

ContMDiffAdd

Basic hypothesis to talk about a C^n (Lie) additive monoid or a C^n additive semigroup. A C^n additive monoid over G, for example, is obtained by requiring both the instances AddMonoid G and ContMDiffAdd I n G. See also ContMDiffVAdd I I' n G M for C^n actions of G on a manifold M.

Defined in

Mathlib.Geometry.Manifold.Algebra.Monoid

Shape

3 explicit arguments · adds contMDiff_add