Varian's theorems

  1. REDIRECT Efficient envy-free division

{{R from move}}