Function prop::eq::in_right_arg

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

See transitivity.