Theorem SzemerediRegularity.le_sum_distinctPairs_edgeDensity_sq

Modification history

2023-12-26 20:26
Mathlib/Combinatorics/SimpleGraph/Regularity/Increment.lean
chore: Make Szeméredi regularity calculation more readable (#9284) …
Added SzemerediRegularity.le_sum_distinctPairs_edgeDensity_sqView on Github →