Theory of proveit.logic.sets.unification

Unification is an operation for building a set that includes all elements of some number of sets. For example, $A \cup B \cup C$ is the set that includes all members of $A$, $B$, $C$, and no other members.

In [1]:
import proveit

Local content of this theory

All axioms contained within this theory