`BookProof.QuantumGravityBrstCharge.affF_antisymm` (a b c : Fin 19) : affF a b c = -affF b a c

Initializing...

`BookProof.QuantumGravityBrstCharge.affF_antisymm` (a b c : Fin 19) : affF a b c = -affF b a c · Prove2Me