`BookProof.ChapterSuperBracket.sbracket_even_even` (a b : R) : sbracket false false a b = a * b

Initializing...

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