I'm rereading the criteria, and maybe I need to state it differently:

If group TransactionNumber has at least one row with CancelDueToCorrection = 'Y', then that group count must be > 1 for that CancelDueToCorrection = 'Y' to be included.

Anything else is included.

Make sense?