`BookProof.QuantumGravityBrstCharge.chi_anticomm` (hCAR : GhostCAR χ β) (a b : Fin n) : χ a * χ b = -(χ b * χ a)

Initializing...

`BookProof.QuantumGravityBrstCharge.chi_anticomm` (hCAR : GhostCAR χ β) (a b : Fin n) : χ a * χ b = -(χ b * χ a) · Prove2Me