Description: Equality deduction for converse relation. (Contributed by NM, 6Dec2013)
Ref  Expression  

Hypothesis  cnveqd.1   ( ph > A = B ) 

Assertion  cnveqd   ( ph > `' A = `' B ) 
Step  Hyp  Ref  Expression 

1  cnveqd.1   ( ph > A = B ) 

2  cnveq   ( A = B > `' A = `' B ) 

3  1 2  syl   ( ph > `' A = `' B ) 