Theorem ad10antr

Deduction adding 10 conjuncts to antecedent. (Contributed by Mario Carneiro, 4-Jan-2017.) (Proof shortened by Wolf Lammen, 5-Apr-2022.)

Hypothesis
ad2ant.1
\( \vdash \varphi \rightarrow \psi \)
Conclusion
\( \vdash \varphi \wedge \chi \wedge \theta \wedge \tau \wedge \eta \wedge \zeta \wedge \sigma \wedge \rho \wedge \mu \wedge \lambda \wedge \kappa \rightarrow \psi \)
Proof
ad2ant.1
adantr _
ad9antr _