`BookProof.ChapterCPTHamiltonian.kinSum_conjTranspose` (k : Fin 3 → ℝ) : (∑ j : Fin 3, (k j : ℂ) • Kin j)ᴴ = ∑ j : Fin 3, (k j : ℂ) • Kin j

Initializing...

`BookProof.ChapterCPTHamiltonian.kinSum_conjTranspose` (k : Fin 3 → ℝ) : (∑ j : Fin 3, (k j : ℂ) • Kin j)ᴴ = ∑ j : Fin 3, (k j : ℂ) • Kin j · Prove2Me