`BookProof.SmDiracYukawa.isMixing_mul` {A B : Matrix (Fin 3) (Fin 3) ℂ} (hA : IsMixing A) (hB : IsMixing B) : IsMixing (A * B.conjTranspose)

Initializing...

`BookProof.SmDiracYukawa.isMixing_mul` {A B : Matrix (Fin 3) (Fin 3) ℂ} (hA : IsMixing A) (hB : IsMixing B) : IsMixing (A * B.conjTranspose) · Prove2Me