Intersect¶
-
class
proveit.logic.
Intersect
(*operands, styles=None)[source]¶ Bases:
proveit.Operation
Methods Summary
membership_object
(self, element)nonmembership_object
(self, element)Methods Documentation
proveit.logic.
Intersect
(*operands, styles=None)[source]¶Bases: proveit.Operation
Methods Summary
|
|
|
Methods Documentation