Proof that rationalisable choice function implies 'property alpha'
Channel: david reinstein
Date: 2020-10-20

See Web book: https://daaronr.github.io/micro-giving-pub/pref-util-choice.html#rat-choice

Sorry, I could have done this faster, when I have time I'll try to do it more quickly and simply.