Function prop::and::paradox

source · 
pub fn paradox<A: Prop>((a, na): And<A, Not<A>>) -> False
Expand description

(a ∧ ¬a) => false.