P
Initializing...
`BookProof.ChapterSuperBracket.eps_comm` (p q : Bool) : eps p q = eps q p · Prove2Me