Function prop::eq::swap_left

pub fn swap_left<A: Prop, B: Prop, C: Prop>(
    f: Eq<Eq<A, B>, C>
) -> Eq<Eq<B, A>, C>

(a == b) == c => (b == a) == c.