Strong subadditivity of quantum entropy (source code)

= Strong subadditivity of quantum entropy
{wiki=Strong_subadditivity_of_quantum_entropy}