`BookProof.ChapterParityHiggs.realityOp_realityOp` {I : Type*} [Fintype I] [DecidableEq I] (M : Matrix I I ℂ) (v : I → ℂ) : realityOp M (realityOp M v) = (M * M.map (starRingEnd ℂ)

Initializing...

`BookProof.ChapterParityHiggs.realityOp_realityOp` {I : Type*} [Fintype I] [DecidableEq I] (M : Matrix I I ℂ) (v : I → ℂ) : realityOp M (realityOp M v) = (M * M.map (starRingEnd ℂ) · Prove2Me