Function prop::path_semantics::red_false

pub fn red_false<A: Prop, B: Prop>(p: PSem<False, False, A, B>) -> Eq<A, B>

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