`BookProof.ChapterGleasonPureMixed.halfI_isMixed` : IsMixedState ((1/2 : ℝ) • (1 : Matrix (Fin 2) (Fin 2) ℝ))

Initializing...

`BookProof.ChapterGleasonPureMixed.halfI_isMixed` : IsMixedState ((1/2 : ℝ) • (1 : Matrix (Fin 2) (Fin 2) ℝ)) · Prove2Me