`BookProof.BookBrstYangMills.ghostN_car` : GhostCAR (ghostCreN (N := N)) (ghostAnnN (N := N))

Initializing...

`BookProof.BookBrstYangMills.ghostN_car` : GhostCAR (ghostCreN (N := N)) (ghostAnnN (N := N)) · Prove2Me