`BookProof.ChapterSuperBracket.eps_mul_self` (p q : Bool) : eps p q * eps p q = 1 · Prove2Me

P

Initializing...

`BookProof.ChapterSuperBracket.eps_mul_self` (p q : Bool) : eps p q * eps p q = 1 · Prove2Me