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 |