[12654]
Untitled - by unknown
 
Untitled
- by unknown - 7/25/2006 - 10:47:43 am
v1- by unknown - 7/25/2006 10:47:43 am
T-REV7/25/2006 10:49:06 am
although the variables change, the axiom stays the same.