Lemma 6.1 in here says, essentially, that the equilibrium based on ex-ante optimization is equivalent to the equilibrium on type-dependent optimization.
Does it mean that the interim Bayes Nash equilibrium is equivalent to ex ante Bayes Nashe equilibrium? If not, can you give an example or a reference?