Function prop::mid::and_e_theory_to_mid

source · 
pub fn and_e_theory_to_mid<A: Prop>((ea, th_a): And<E<A>, Theory<A>>) -> Mid<A>
Expand description

((¬¬a ⋁ ¬a) ⋀ theory(a)) => mid(a).