==

Template

==(T1,T2)-(i,i)

Description:

T1 is an equivalence of T2

Copyright © 1997-2013 EDMGROUP (Australia)