Function prop::imply::flip_neg_right

source · [−]
pub fn flip_neg_right<A: Prop, B: Prop>(f: Imply<A, Not<B>>) -> Imply<B, Not<A>>
Expand description

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