[−][src]Function departed::logic::and_elim_r

pub fn and_elim_r<P, Q>(_and: &Proof<And<P, Q>>) -> Proof<Q>