Function prop::path_semantics::naive_red_false

pub fn naive_red_false<A: Prop, B: Prop>(
    p: PSemNaive<False, False, A, B>
) -> Eq<A, B>

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