theorem Th54: :: OPPCAT_1:56

for C, D being Category
for S being Contravariant_Functor of C,D holds S *' is Functor of C,D opp