Structures · Geometry

ContMDiffMul

Basic hypothesis to talk about a C^n (Lie) monoid or a C^n semigroup. A C^n monoid over G, for example, is obtained by requiring both the instances Monoid G and ContMDiffMul I n G. See also ContMDiffSMul 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_mul