Theorem IndexedPartition.some_index

Modification history