Non-commutative conditional expectation (source code)

= Non-commutative conditional expectation
{wiki=Non-commutative_conditional_expectation}