Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 4 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context ยท Original author HTML
Corollary 4
For dominating maps ๐ณ โฒโฒ โฅ ๐ณ โฒ โฅ ๐ณ {\cal X}^{\prime\prime}\geq{\cal X}^{\prime}\geq{\cal X}
p ๐ณ โฒโฒ , ๐ณ = p ๐ณ โฒ , ๐ณ โ p ๐ณ โฒโฒ , ๐ณ โฒ . p_{{\cal X}^{\prime\prime},{\cal X}}=p_{{\cal X}^{\prime},{\cal X}}\circ p_{{\cal X}^{\prime\prime},{\cal X}^{\prime}}\,\,.