Theorem
idd
Principle of identity
id
with antecedent. (Contributed by NM, 26-Nov-1995.)
Conclusion
\( \vdash \varphi \rightarrow \psi \rightarrow \psi \)
Proof
id
a1i
_
This is the content in the right pane.