`BookProof.ChapterGleasonPureMixed.halfI_not_pure` : ¬ IsPureState ((1/2 : ℝ) • (1 : Matrix (Fin 2) (Fin 2) ℝ))

Initializing...

`BookProof.ChapterGleasonPureMixed.halfI_not_pure` : ¬ IsPureState ((1/2 : ℝ) • (1 : Matrix (Fin 2) (Fin 2) ℝ)) · Prove2Me