`BookProof.QuantumGravityFock.superBracket_fermAnn_fermCre_of_ne` {j k : ℕ} (h : j ≠ k) : superBracket 1 1 (fermAnn j) (fermCre k) = 0

Initializing...

`BookProof.QuantumGravityFock.superBracket_fermAnn_fermCre_of_ne` {j k : ℕ} (h : j ≠ k) : superBracket 1 1 (fermAnn j) (fermCre k) = 0 · Prove2Me