P
Initializing...
`BookProof.BookBrstYangMills.bookOmega_nilpotent` : bookOmega G * bookOmega G = 0 · Prove2Me