Function prop::path_semantics::naive_red_false

source · [−]
pub fn naive_red_false<A: Prop, B: Prop>(
    p: PSemNaive<False, False, A, B>, 
    q: Q<False, False>
) -> Q<A, B>
Expand description

Reduce naive core axiom in case of false to equality of associated propositions.