Function departed::logic::and_intro

pub fn and_intro<P, Q>(_p: &Proof<P>, _q: &Proof<Q>) -> Proof<And<P, Q>>