Theorem disjoint_memPartition

Modification history