Changed DeleteDuplicates documentation to confrom to the convention
Replace comparisons with Symbol('True') by expr.is_true(), thus avoiding the overhead of creating an extra Symbol