SetMembership

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

Bases: proveit.logic.ClassMembership