Proof.
The statement follows from the fact that \(\iota_k\) preserves both \(n\)-surjectivity (lemma 5.3.11) and \(n\)-faithfulness (observation 5.3.10). ◻
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2
Proof.
The statement follows from the fact that \(\iota_k\) preserves both \(n\)-surjectivity (lemma 5.3.11) and \(n\)-faithfulness (observation 5.3.10). ◻
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2