Theorem Part.inter_mem_inter

Modification history