`BookProof.ChapterGaugeCasimirAverage.casimir_apply_eq_zero_iff` (T : ι → V →ₗ[ℂ] V) (hT : ∀ a, (T a).IsSymmetric) (v : V) : casimir T v = 0 ↔ ∀ a, T a v = 0

Initializing...

`BookProof.ChapterGaugeCasimirAverage.casimir_apply_eq_zero_iff` (T : ι → V →ₗ[ℂ] V) (hT : ∀ a, (T a).IsSymmetric) (v : V) : casimir T v = 0 ↔ ∀ a, T a v = 0 · Prove2Me