`BookProof.SmDiracYukawa.smFermiN_symmetricOn` (om : Fin n → ℝ) (c0 : ℝ) : SymmetricOn (fullDom n) (onFull (smFermiN om c0))

Initializing...

`BookProof.SmDiracYukawa.smFermiN_symmetricOn` (om : Fin n → ℝ) (c0 : ℝ) : SymmetricOn (fullDom n) (onFull (smFermiN om c0)) · Prove2Me