OAI/Probability/CriticalPercolation/
4444 declarations, 0 contain sorry, 0 declared as axioms; 627 files
Folders
- Classification/ 15 files, 58 declarations
- Clusters/ 22 files, 150 declarations
- Criticality/ 82 files, 521 declarations
- Entropy/ 37 files, 396 declarations
- Exploration/ 53 files, 496 declarations
- Gluing/ 52 files, 332 declarations
- GraphGeometry/ 91 files, 644 declarations
- GraphTopology/ 10 files, 82 declarations
- Growth/ 37 files, 265 declarations
- Harmonic/ 28 files, 255 declarations
- LinearGroups/ 38 files, 174 declarations
- Modular/ 80 files, 662 declarations
- Nilpotent/ 29 files, 68 declarations
- ProductMeasure/ 51 files, 330 declarations
Files
- Main.lean 1 declarations
- Model.lean 10 declarations