Corollary 4.7.1.40 (0GB4)
No arXiv source has been identified, and no author TeX or arXiv HTML is available. PDF-to-TeX conversion is flagged for later. The PDF is preserved as an original source only.
This permanent tag preserves a historical source occurrence. Its statement and proof have not yet been presented from author TeX or HTML.
Original source · 2017-09-18