Add some theorems about equivalence of equiv and iso in set_cat