`BookProof.QgOuterFockInteractionFL.QgFamily.secHam_symmetricOn` (n : ℕ) : SymmetricOn (polyGaussCore (d := n * 84)) (F.secHam n)

Initializing...

`BookProof.QgOuterFockInteractionFL.QgFamily.secHam_symmetricOn` (n : ℕ) : SymmetricOn (polyGaussCore (d := n * 84)) (F.secHam n) · Prove2Me