Perfect distinguishability of pure states (source code)

= Perfect distinguishability of pure states

Two pure states can be distinguished with certainty in one measurement exactly when their inner product is zero.