Formalizing Arrow’s theorem

by Freek Wiedijk
Citations:5 - 0 self