Theorem SzemerediRegularity.card_eq_of_mem_parts_chunk

Modification history