`BookProof.QgOuterFockInteractionFL.QgFamily.outerHam_symmetricOn` : SymmetricOn qgOuterCore F.outerHam

Initializing...

`BookProof.QgOuterFockInteractionFL.QgFamily.outerHam_symmetricOn` : SymmetricOn qgOuterCore F.outerHam · Prove2Me