Predicate for group anti-homomorphism, or a homomorphism into the opposite group.