Theorem IndexedPartition.out_proj

Modification history