Function prop::quality::aq_sesh_left

pub fn aq_sesh_left<A: Prop, B: Prop>(sesh_a: Not<Aq<A, A>>) -> Not<Aq<A, B>>

Introduce a different proposition in right argument (keep left).