`BookProof.ChapterA.not_isCReal_of_realification_irreducible` [Nontrivial V] (M : System ℂ V) (h : (rxSystem M).IsIrreducible) : ¬ IsCReal M

Initializing...

`BookProof.ChapterA.not_isCReal_of_realification_irreducible` [Nontrivial V] (M : System ℂ V) (h : (rxSystem M).IsIrreducible) : ¬ IsCReal M · Prove2Me