Theorem SzemerediRegularity.offDiag_pairs_le_increment_energy

Modification history