instAdditiveActionTopModuleCatInvariants

English

Explicit linear equivalence between ker of the first differential and invariants, with explicit mapping formula.

Русский

Явное линейное эквивалентное отображение между ker первого дифференциала и инвариантами, с явной формулой перехода.

LaTeX

$$See above (same content as 3211) denotes the explicit linear equivalence.$$

Lean4

instance : (invariants R G).Additive where

Похожие утверждения