OAI/Analysis/BiholderTransport/Oscillation/
47 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- ActualPlateaus.lean 1 declarations
- ClassPower.lean 1 declarations
- LowerSwitch.lean 4 declarations
- NonpowerMaximum.lean 1 declarations
- ScalarFirstSwitch.lean 3 declarations
- SectionOscillation.lean 31 declarations
- SwitchNorms.lean 4 declarations
- SwitchNumerics.lean 1 declarations
- SwitchToExcess.lean 1 declarations