`BookProof.ChapterSuperBracket.super_jacobi` (p q r : Bool) (a b c : R) : (eps p r : R) * sbracket p (xor q r) a (sbracket q r b c) + (eps q p : R) * sbracket q (xor r p) b (sbrack

Initializing...

`BookProof.ChapterSuperBracket.super_jacobi` (p q r : Bool) (a b c : R) : (eps p r : R) * sbracket p (xor q r) a (sbracket q r b c) + (eps q p : R) * sbracket q (xor r p) b (sbrack · Prove2Me