`BookProof.ChapterSuperBracket.sbracket_even_right` (p : Bool) (a b : R) : sbracket p false a b = a * b

Initializing...

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