`BookProof.ChapterSuperBracket.sbracket_even_left` (q : Bool) (a b : R) : sbracket false q a b = a * b

Initializing...

`BookProof.ChapterSuperBracket.sbracket_even_left` (q : Bool) (a b : R) : sbracket false q a b = a * b - b * a · Prove2Me