disjointUnionOf

The property that determines that a given class is equivalent to the disjoint union of a collection of other classes.

disjointUnionOf

The property that determines that a given class is equivalent to the disjoint union of a collection of other classes.