<div dir="ltr">I think Gibbard's theorem is a bit weaker than that—the theorem requires preferences to be unrestricted. Weaker preference restrictions than unanimity can have strategyproof rules, e.g. for single-peaked preferences you have the median voting rule.</div>