Theorem 19.33

Theorem 19.33 of [Margaris] p. 90. (Contributed by NM, 12-Mar-1993.)

Conclusion
\( \vdash \forall x \, \varphi \vee \forall x \, \psi \rightarrow \forall x \, (\varphi \vee \psi) \)
Proof
orc
l1
alimi _
olc
alimi _
jaoi l1 _