symm_Λ_eq — Mathlib

English

Applying the symmetry operation to a strong FE pair yields that the symmetric Λ equals the Mellin transform of the swapped g component, i.e., symm.Λ = mellin g.

Русский

Применение симметрии к сильной FE-паре дает, что симметричная Λ равна Mellin-преобразованию компонента g после обмена; т.е. симм.Λ = mellin g.

LaTeX

$$symm_Λ_eq : P.symm.Λ = mellin P.g$$

Lean4

theorem symm_Λ_eq : P.symm.Λ = mellin P.g :=
  rfl

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