proper_superset

proveit.logic.proper_superset(A, B)[source]

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