Difference

class proveit.logic.Difference(A, B, *, styles=None)[source]

Bases: proveit.Operation

Methods Summary

Methods Documentation