`BookProof.SmHamiltonian.smHamiltonian_symmetricOn` (P : SmParams) : SymmetricOn (polyGaussCore (d := 163)) (smHamiltonian P)

Initializing...

`BookProof.SmHamiltonian.smHamiltonian_symmetricOn` (P : SmParams) : SymmetricOn (polyGaussCore (d := 163)) (smHamiltonian P) · Prove2Me