Function prop::queenity::seshatic

source · 
pub fn seshatic<A: Prop, B: Prop>(sq: Sq<A, B>) -> Seshatic<A, B>
Expand description

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