Unitary freedom of purification (source code)

= Unitary freedom of purification

Any two purifications of the same density operator on sufficiently large reference spaces differ by an isometry on the reference system, and by a unitary when the reference spaces have the same dimension.