Theorem simp-11l

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 \varphi \)

Proof

simpl

ad10antr _