`BookProof.SmHamiltonian.smField_symmetricOn` (P : SmParams) (r : Fin 49) : SymmetricOn (polyGaussCore (d := 163)) ((polyGaussCore (d := 163)).subtype.comp (smField P r))

Initializing...

`BookProof.SmHamiltonian.smField_symmetricOn` (P : SmParams) (r : Fin 49) : SymmetricOn (polyGaussCore (d := 163)) ((polyGaussCore (d := 163)).subtype.comp (smField P r)) · Prove2Me