not_superset_eq

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

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.