SetNonmembership

class proveit.logic.SetNonmembership(element, domain)[source]

Bases: proveit.logic.ClassNonmembership