`BookProof.ChapterGaugeAdjointAlgebra.lie_adj_leibniz` (x θ y : L) : ⁅⁅x, θ⁆, y⁆ + ⁅x, ⁅y, θ⁆⁆ = ⁅⁅x, y⁆, θ⁆

Initializing...

`BookProof.ChapterGaugeAdjointAlgebra.lie_adj_leibniz` (x θ y : L) : ⁅⁅x, θ⁆, y⁆ + ⁅x, ⁅y, θ⁆⁆ = ⁅⁅x, y⁆, θ⁆ · Prove2Me