T5302 : %THEOREM%
T5302
is a
theorem
.
Book
Theorem
:
x(A)
=
y(A)
=
.y
=
x
Symmetry of Equality.
TPS documentation homepage
© 1988-99, Carnegie Mellon University.
TPS homepage