`BookProof.SmHamiltonian.realCoeff_smWall` (P : SmParams) (co : Fin 163 → Fin D) : RealCoeff (smWall P co)

Initializing...

`BookProof.SmHamiltonian.realCoeff_smWall` (P : SmParams) (co : Fin 163 → Fin D) : RealCoeff (smWall P co) · Prove2Me