Theorem IndexedPartition.mem_iff_index_eq

Modification history