Check if
(head-to-head-competition-loser-p l c xs) → *
Function:
(defun head-to-head-competition-loser-p (l c xs) (declare (xargs :guard (and (natp l) (natp c) (irv-ballot-p xs)))) (declare (xargs :guard (and (member-equal l (candidate-ids xs)) (member-equal c (candidate-ids xs)) (not (equal l c))))) (let ((__function__ 'head-to-head-competition-loser-p)) (declare (ignorable __function__)) (b* ((xs-pairwise (eliminate-other-candidates (list l c) xs))) (equal (irv xs-pairwise) c))))