Proposition 7.1.4.4 (0AZJ)
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 · 2018-02-03