Difference¶
-
class
proveit.logic.
Difference
(A, B, *, styles=None)[source]¶ Bases:
proveit.Operation
Methods Summary
Methods Documentation
proveit.logic.
Difference
(A, B, *, styles=None)[source]¶Bases: proveit.Operation
Methods Summary
Methods Documentation