OAI/Probability/UnimodularPercolation/Criticality/
253 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- ClusterCount.lean 8 declarations
- Connectivity.lean 8 declarations
- Ergodicity.lean 3 declarations
- FiniteChanges.lean 7 declarations
- Finiteness.lean 13 declarations
- FullFiniteness.lean 3 declarations
- FullOperator.lean 3 declarations
- Operator.lean 13 declarations
- Phase.lean 4 declarations
- ScaleLimits.lean 6 declarations
- Sharpness.lean 123 declarations
- Susceptibility.lean 61 declarations
- UnimodularMain.lean 1 declarations