proveit.logic.
proper_superset
Return the expression representing (A superset B), internally represented as (B subset A) but with a style that reverses the direction.