Function prop::imply::in_left_arg

pub fn in_left_arg<A: Prop, B: Prop, C: Prop>(
    f: Imply<A, B>,
    (_, g1): Eq<A, C>
) -> Imply<C, B>

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