`BookProof.QuantumGravityBrstCharge.affF_jacobi` (a b c h : Fin 19) : ∑ e, (affF a b e * affF e c h + affF b c e * affF e a h + affF c a e * affF e b h) = 0

Initializing...

`BookProof.QuantumGravityBrstCharge.affF_jacobi` (a b c h : Fin 19) : ∑ e, (affF a b e * affF e c h + affF b c e * affF e a h + affF c a e * affF e b h) = 0 · Prove2Me