theorem Th43: :: DICKSON:44

NATOrd is_antisymmetric_in NAT