`BookProof.SmHamiltonian.smPi_symmetricOn` (m : Fin 40) : SymmetricOn (polyGaussCore (d := 163)) ((polyGaussCore (d := 163)).subtype.comp (smPi m))

Initializing...

`BookProof.SmHamiltonian.smPi_symmetricOn` (m : Fin 40) : SymmetricOn (polyGaussCore (d := 163)) ((polyGaussCore (d := 163)).subtype.comp (smPi m)) · Prove2Me