Skip to content

Commit

Permalink
feat(combinatorics/simple_graph/regularity/chunk): Partition of a part (
Browse files Browse the repository at this point in the history 
#18371)

The heart of the calculation of Szemerédi Regularity Lemma. Define the partition of a part of the original partition and show it locally increases the energy.

This is all internal to the proof of SRL, so I made most lemmas `private`
  • Loading branch information
@YaelDillies
YaelDillies committed May 19, 2023
1 parent ef7403f commit f51de87
Show file tree
Hide file tree
Showing 2 changed files with 551 additions and 1 deletion.
Loading

0 comments on commit f51de87

Please sign in to comment.