 Symmetric independent private values model

The independent private values model is symmetric when bidders have identical roles and draw their valuations independently from the same distribution. For revenue equivalence in the usual single-object setting, bidders additionally have risk neutrality and quasilinear utility. Under a strictly increasing symmetric equilibrium bidding rule, a type $v$ wins with probability $F(v{)}^{n-1}$.

// Target: mathematical-optimization.bigb