Product-state factorization of measurement probabilities (source code)

= Product-state factorization of measurement probabilities

For a product state, probabilities of local measurement outcomes multiply.