Function prop::eq::symmetry_eq

pub fn symmetry_eq<A: Prop, B: Prop>() -> Eq<Eq<A, B>, Eq<B, A>>

(a == b) == (b == a).