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