`BookProof.ChapterGaugeAdjointAlgebra.adj_closure` (θ η X : L) : adjVar η (adjVar θ X) - adjVar θ (adjVar η X) = adjVar ⁅θ, η⁆ X

Initializing...

`BookProof.ChapterGaugeAdjointAlgebra.adj_closure` (θ η X : L) : adjVar η (adjVar θ X) - adjVar θ (adjVar η X) = adjVar ⁅θ, η⁆ X · Prove2Me