Theorem
gen2
Generalization applied twice. (Contributed by NM, 30-Apr-1998.)
Hypothesis
gen2.1
\( \vdash \varphi \)
Conclusion
\( \vdash \forall x \, \forall y \, \varphi \)
Proof
gen2.1
ax-gen
_
ax-gen
_
This is the content in the right pane.