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