Function prop::quality::naq_symmetry

pub fn naq_symmetry<A: Prop, B: Prop>(naq: Not<Aq<A, B>>) -> Not<Aq<B, A>>

Negated symmetry ¬(a ~¬~ b) => ¬(b ~¬~ a).