`BookProof.ChapterGaugeAdjointAlgebra.gaussLaw_covariant` (A dπ π : Fin 3 → L) (θ : L) : ∑ i, (⁅dπ i, θ⁆ + (⁅⁅A i, θ⁆, π i⁆ + ⁅A i, ⁅π i, θ⁆⁆)) = ⁅gaussLaw A...

Initializing...

`BookProof.ChapterGaugeAdjointAlgebra.gaussLaw_covariant` (A dπ π : Fin 3 → L) (θ : L) : ∑ i, (⁅dπ i, θ⁆ + (⁅⁅A i, θ⁆, π i⁆ + ⁅A i, ⁅π i, θ⁆⁆)) = ⁅gaussLaw A... · Prove2Me