Function prop::existence::crosseq_to_eqnn

source · [−]
pub fn crosseq_to_eqnn<A: EProp, B: EProp>(
    cross_eq: CrossEq<A, B>
) -> EqNN<A, B>
Expand description

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