OAI/Analysis/Laughlin/Asymptotics/
74 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- Basic.lean 1 declarations
- Bound.lean 7 declarations
- Convergence.lean 8 declarations
- FiniteReindex.lean 1 declarations
- HighestCouplingLimit.lean 3 declarations
- Limit.lean 3 declarations
- LimitFourLocalSum.lean 1 declarations
- LocalDiagonalLimit.lean 9 declarations
- LocalMetricLimit.lean 7 declarations
- Perturbation.lean 2 declarations
- ScalarBudget.lean 3 declarations
- TruncatedMetricPerturbation.lean 3 declarations
- TruncatedScaling.lean 10 declarations
- UpperSpinCurve.lean 5 declarations
- UpperSpinDynamics.lean 11 declarations