not_proper_superset

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

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