Function prop::not::eq

pub fn eq<A: Prop, B: Prop>(x: Eq<A, B>) -> Eq<Not<A>, Not<B>>

(a == b) => (¬a == ¬b).