`BookProof.SmHamiltonian.realCoeff_smMagB` (co : Fin 163 → Fin D) (i : Fin 3) : RealCoeff (smMagB co i)

Initializing...

`BookProof.SmHamiltonian.realCoeff_smMagB` (co : Fin 163 → Fin D) (i : Fin 3) : RealCoeff (smMagB co i) · Prove2Me