theorem Th5: :: YELLOW_7:5

for L being RelStr holds
( L is antisymmetric iff L opp is antisymmetric )