`BookProof.ChapterGaugeCasimirAverage.ker_casimir` (T : ι → V →ₗ[ℂ] V) (hT : ∀ a, (T a).IsSymmetric) : LinearMap.ker (casimir T) = ⨅ a, LinearMap.ker (T a)

Initializing...

`BookProof.ChapterGaugeCasimirAverage.ker_casimir` (T : ι → V →ₗ[ℂ] V) (hT : ∀ a, (T a).IsSymmetric) : LinearMap.ker (casimir T) = ⨅ a, LinearMap.ker (T a) · Prove2Me