Theorem
equtr
A transitive law for equality. (Contributed by NM, 23-Aug-1993.)
Conclusion
\( \vdash x' = y' \rightarrow y' = z' \rightarrow x' = z' \)
Proof
ax7
equcoms
_
This is the content in the right pane.