`BookProof.SmDiracYukawa.smFermiHam_symmetricOn` (hh : hD.conjTranspose = hD) : SymmetricOn (fullDom n) (onFull (smFermiHam hD M z))

Initializing...

`BookProof.SmDiracYukawa.smFermiHam_symmetricOn` (hh : hD.conjTranspose = hD) : SymmetricOn (fullDom n) (onFull (smFermiHam hD M z)) · Prove2Me