Theorem IndexedPartition.proj_eq_iff

Modification history