Doesn't matter what he's doing or what she's doing. What matters is what you do. And if you're a true friend, you do not, under any circumstances, ever and I mean EVER date a bro's ex.
The bro code is explicitly clear in this instance. You DO NOT date her. Not now, not later, not ever...