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

Initializing...

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