Post-measurement state (source code)

= Post-measurement state

The post-measurement state is the conditional quantum state after a specified measurement outcome. For a <projective measurement>, it is given by the <Lüders rule>.