`BookProof.ChapterSuperBracket.commutator_jacobi` (a b c : R) : sbracket false false a (sbracket false false b c) + sbracket false false b (sbracket false false c a) + sbracket fal

Initializing...

`BookProof.ChapterSuperBracket.commutator_jacobi` (a b c : R) : sbracket false false a (sbracket false false b c) + sbracket false false b (sbracket false false c a) + sbracket fal · Prove2Me