superset_eq

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

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