Function prop::and::to_imply

pub fn to_imply<A: Prop, B: Prop>((a, nb): And<A, Not<B>>) -> Not<Imply<A, B>>

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