`BookProof.QuantumGravityFock.superBracket_fermAnn_fermAnn` (j k : ℕ) : superBracket 1 1 (fermAnn j) (fermAnn k) = 0

Initializing...

`BookProof.QuantumGravityFock.superBracket_fermAnn_fermAnn` (j k : ℕ) : superBracket 1 1 (fermAnn j) (fermAnn k) = 0 · Prove2Me