Since Arrow and GS are equivalent, it’s not surprising to see intermediate versions. Thanks for pointing that one out. I still stand by the statement for the common formulation of the theorem. We’re hitting the fuzzy lines between what counts as an alternate formulation of the same theorem, a corollary, or a distinct theorem.
Since Arrow and GS are equivalent, it’s not surprising to see intermediate versions. Thanks for pointing that one out. I still stand by the statement for the common formulation of the theorem. We’re hitting the fuzzy lines between what counts as an alternate formulation of the same theorem, a corollary, or a distinct theorem.