Proposition 3.111 (0LT0)
0 tagged blocks link here.
Hadrian Heine
Original source: arXiv:2009.02428v5