Degradable channel

import Quantum_channel

def degradable [quantum_channel 𝒩] := sorry

References:

• Wilde2011;