fact: Definition collidesWith (A B : Set)(eqda : EqDec A)(eqdb : EqDec B)(ls : list (A * B))(a : A) b := if (findCollision_1 _ _ ls a b) then true else false.
imports: FCF PRF SplitVector cAU CompFold DetSem SemEquiv