proveit.logic.
SetNonmembership
Bases: proveit.logic.ClassNonmembership
proveit.logic.ClassNonmembership