`BookProof.ChapterSuperBracket.sbracket_graded_antisymm` (p q : Bool) (a b : R) : sbracket p q a b = - (eps p q : R) * sbracket q p b a

Initializing...

`BookProof.ChapterSuperBracket.sbracket_graded_antisymm` (p q : Bool) (a b : R) : sbracket p q a b = - (eps p q : R) * sbracket q p b a · Prove2Me