https://github.com/b-mehta/regularity-lemma
History
Tip revision: cf26082b0c88fa54276e6fdc3338c15e607c52c6 authored by Bhavik Mehta on 09 February 2022, 11:34:16 UTC
make snapshot
Tip revision: cf26082
File Mode Size
bounds.lean -rw-r--r-- 4.4 KB
chunk.lean -rw-r--r-- 27.9 KB
corner.lean -rw-r--r-- 21.1 KB
energy.lean -rw-r--r-- 3.6 KB
finpartition.lean -rw-r--r-- 17.8 KB
finpartitions.lean -rw-r--r-- 13.9 KB
increment.lean -rw-r--r-- 8.3 KB
mathlib.lean -rw-r--r-- 25.2 KB
prereqs.lean -rw-r--r-- 5.6 KB
regularity_lemma.lean -rw-r--r-- 6.1 KB
triangle_counting.lean -rw-r--r-- 28.7 KB
triangle_removal.lean -rw-r--r-- 3.5 KB
witness.lean -rw-r--r-- 3.4 KB

back to top