Theorem sUnion_memPartition

Modification history