| 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 |
