`BookProof.YangMillsFockGapChain.ym_fock_vacuum_annihilated` : dGamma (ymFockCol e fabc) vac = 0

Initializing...

`BookProof.YangMillsFockGapChain.ym_fock_vacuum_annihilated` : dGamma (ymFockCol e fabc) vac = 0 · Prove2Me