Is here any typo? Is this operator requiring these atoms being a lexicographically sorted list, or requiring *B is the biggest?
Is here any typo? Is this operator requiring these atoms being a lexicographically sorted list, or requiring *B is the biggest?