Corollary 5.1.5 (0ENA)
Author TeX is available. HTML chapter conversion is pending.
This permanent tag preserves a historical source occurrence. Its statement and proof have not yet been presented from author TeX or HTML.
Original source: arXiv:2010.09155v3
Original source · 2010.09155v3