Fix \(n, m \geq 0\), since both \(\iota_n\) and \(\tau_n\) preserves \(m\)-faithfulness by observation 5.3.10 and observation 5.4.8, \(h_n\) also preserves \(m\)-faithfulness.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2
Fix \(n, m \geq 0\), since both \(\iota_n\) and \(\tau_n\) preserves \(m\)-faithfulness by observation 5.3.10 and observation 5.4.8, \(h_n\) also preserves \(m\)-faithfulness.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2