Theorem SzemerediRegularity.star_subset_chunk

Modification history