`BookProof.ChapterSuperBracket.sbracket_odd_odd` (a b : R) : sbracket true true a b = a * b + b * a

Initializing...

`BookProof.ChapterSuperBracket.sbracket_odd_odd` (a b : R) : sbracket true true a b = a * b + b * a · Prove2Me