Reply To: Oversight in the Contraction Lemma (Proof of Arrow\'s Theorem)

#21837
jon_gunnarsson
Participant

Yes, I agree. Just add “non-empty” before “proper subset” in the lemma and you’re golden.