`BookProof.ChapterMajoranaFourier.Aop_conjTranspose` (n : Fin 3 → ℝ) : (Aop n)ᴴ = Aop n

Initializing...

`BookProof.ChapterMajoranaFourier.Aop_conjTranspose` (n : Fin 3 → ℝ) : (Aop n)ᴴ = Aop n · Prove2Me