Function prop::eq::neq_symmetry

pub fn neq_symmetry<A: Prop, B: Prop>(neq: Not<Eq<A, B>>) -> Not<Eq<B, A>>

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