Theorem IndexedPartition.exists_mem

Modification history