On the alternating use of “unanimity” and “surjectivity” in the Gibbard–Satterthwaite Theorem

Surjectivity and unanimity can be equivalently used to state the Gibbard–Satterthwaite Theorem. On the other hand, over restricted domains, replacing surjectivity with unanimity makes a stronger statement.