`BookProof.ChapterGaugeCasimirAverage.casimir_apply` (T : ι → V →ₗ[ℂ] V) (v : V) : casimir T v = ∑ a, T a (T a v)

Initializing...

`BookProof.ChapterGaugeCasimirAverage.casimir_apply` (T : ι → V →ₗ[ℂ] V) (v : V) : casimir T v = ∑ a, T a (T a v) · Prove2Me