Theorem memPartition_zero

Modification history