Function prop::existence::or_from_de_morgan

pub fn or_from_de_morgan<A: EProp, B: EProp>(
    p: Not<And<NN<A>, NN<B>>>
) -> Or<Not<A>, Not<B>>

¬(¬¬a ∧ ¬¬b) => (¬a ∨ ¬b).