Theorem SzemerediRegularity.card_chunk

Modification history