Theorem IndexedPartition.index_some

Modification history