`OAI/Combinatorics/TriangleRemoval/`

1892 declarations, 0 contain sorry, 0 declared as axioms; 287 files

Folders

Asymptotics/ 12 files, 90 declarations
Coupling/ 12 files, 129 declarations
Embeddings/ 17 files, 121 declarations
Probability/ 21 files, 103 declarations
Process/ 109 files, 773 declarations
Queries/ 30 files, 184 declarations
Spectral/ 30 files, 158 declarations
Stability/ 14 files, 109 declarations
Tracking/ 40 files, 210 declarations

Files

Main.lean 4 declarations
Model.lean 11 declarations