Proof.
This follows immediately from applying theorem B.4.1 and then theorem B.3.1 to the factorization system of proposition 6.2.2. ◻
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2
Proof.
This follows immediately from applying theorem B.4.1 and then theorem B.3.1 to the factorization system of proposition 6.2.2. ◻
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2