Some Coq formalization for https://en.wikipedia.org/wiki/Weak_ordering#Strict_weak_orderings, plus equivalence with preference orderings as they are defined in Gibbard's theorem.
Some Coq formalization for https://en.wikipedia.org/wiki/Weak_ordering#Strict_weak_orderings, plus equivalence with preference orderings as they are defined in Gibbard's theorem.