Function prop::path_semantics::to_pand_snd

pub fn to_pand_snd<A: Prop, B: Prop, C: Prop, D: Prop>(
    p: PSem<And<A, B>, C, B, D>
) -> PAndSnd<A, B, C, D>

Converts core axiom to PAndSnd.