Theorem simp-11r

Simplification of a conjunction. (Contributed by Mario Carneiro, 4-Jan-2017.) (Proof shortened by Wolf Lammen, 24-May-2022.)

Conclusion

\( \vdash \varphi \wedge \psi \wedge \chi \wedge \theta \wedge \tau \wedge \eta \wedge \zeta \wedge \sigma \wedge \rho \wedge \mu \wedge \lambda \wedge \kappa \rightarrow \psi \)

Proof

simpr

ad10antr _