`BookProof.ChapterGaugeAdjointAlgebra.adjVar_eq_zero_of_central` {X : L} (hX : ∀ θ : L, ⁅X, θ⁆ = 0) (θ : L) : adjVar θ X = 0

Initializing...

`BookProof.ChapterGaugeAdjointAlgebra.adjVar_eq_zero_of_central` {X : L} (hX : ∀ θ : L, ⁅X, θ⁆ = 0) (θ : L) : adjVar θ X = 0 · Prove2Me