`BookProof.ChapterA4h.prop88_energy_sign_not_conserved` : ¬ ∀ j : Fin 3, projPos * spatialOp j = spatialOp j * projPos

Initializing...

`BookProof.ChapterA4h.prop88_energy_sign_not_conserved` : ¬ ∀ j : Fin 3, projPos * spatialOp j = spatialOp j * projPos · Prove2Me