Union

class proveit.logic.Union(*operands, styles=None)[source]

Bases: proveit.Operation

Methods Summary

membership_object(self, element)

nonmembership_object(self, element)

Methods Documentation

membership_object(self, element)[source]
nonmembership_object(self, element)[source]