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>.