OAI/Probability/SKSupport/Parabolic/
134 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- AffineEvolution.lean 12 declarations
- BurgersConstruction.lean 21 declarations
- ForwardConstruction.lean 14 declarations
- ForwardGeometry.lean 18 declarations
- ForwardRegularity.lean 24 declarations
- ForwardSigns.lean 6 declarations
- FullLineComparison.lean 2 declarations
- GradientStability.lean 2 declarations
- ReverseBurgers.lean 5 declarations
- TiltedEvolution.lean 5 declarations
- TiltedMean.lean 8 declarations
- TiltedTransition.lean 5 declarations
- UniformTiltedMeanBounds.lean 1 declarations
- VarianceTilted.lean 11 declarations