`BookProof.ChapterA.IsRReal.isIrreducible` {M : System ℝ W} (h : IsRReal M) : M.IsIrreducible

Initializing...

`BookProof.ChapterA.IsRReal.isIrreducible` {M : System ℝ W} (h : IsRReal M) : M.IsIrreducible · Prove2Me