Entanglement-breaking

import Quantum_channel
import Separable

def entanglement_breaking [quantum_channel 𝒩] :=
∀ [quantum_state ρRA], separable 1⊗𝒩 ρRA

References

• Wilde2011;