Description: Equivalent wff's correspond to equal restricted class abstractions. Closed theorem form of rabbii . (Contributed by NM, 25-Nov-2013)