Verify and simplify formula for probability when using postselection #12

Open dexter2206 opened 2 years ago