Formalizing Arrow’s theorem

by Freek Wiedijk
Citations:3 - 0 self