OAI/Probability/LatticeSurface/Moments/
81 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- ActualCoercivity.lean 2 declarations
- ActualCoercivitySupport.lean 6 declarations
- AverageCoercivity.lean 1 declarations
- Averages.lean 42 declarations
- CoarseMoments.lean 1 declarations
- CoercivityEnergy.lean 12 declarations
- ControlledGradients.lean 6 declarations
- EnergyDeficits.lean 7 declarations
- OrderedGradients.lean 3 declarations
- ScaledEnergy.lean 1 declarations