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

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