It's the conditional Bayes theorem:
Some conditions, blah blah
I'm fine with the bulk of the proof, it's just that it starts off by defining
if and Y = 0 otherwise
Then it says we need to show
But I don't really see that
In fact if Then the RHS of the formula is undefined! So.... what's going on here? :S
Thanks for any help!