`BookProof.SmHamiltonian.realCoeff_smMagW` (P : SmParams) (co : Fin 163 → Fin D) (m i : Fin 3) : RealCoeff (smMagW P co m i)

Initializing...

`BookProof.SmHamiltonian.realCoeff_smMagW` (P : SmParams) (co : Fin 163 → Fin D) (m i : Fin 3) : RealCoeff (smMagW P co m i) · Prove2Me