Theorem IndexedPartition.proj_some_index

Modification history