proof that rationalisable choice function implies prop alpha
Channel: david reinstein
Date: 2020-10-23

See Web book: https://daaronr.github.io/micro-giving-pub/index.html