theorem :: YELLOW18:26

for A, B being category st A,B are_anti-isomorphic holds
A,B are_dual