Theorem memPartition_succ

Modification history