That isn’t proof, because the wikipedia result is saying there exists situations that break strategy-proofness. And these elections are a subset of Maximal lotteries. So it’s possible that there exists failure cases, but this isn’t one of them.
That isn’t proof, because the wikipedia result is saying there exists situations that break strategy-proofness. And these elections are a subset of Maximal lotteries. So it’s possible that there exists failure cases, but this isn’t one of them.