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