OAI/Probability/SphericalField/Heat/
169 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- Average.lean 15 declarations
- Backward.lean 10 declarations
- Boundary.lean 12 declarations
- Continuity.lean 5 declarations
- Derivatives.lean 12 declarations
- Entropic.lean 15 declarations
- GeneratorBounds.lean 4 declarations
- Grid.lean 10 declarations
- Logarithm.lean 16 declarations
- MovingParameters.lean 13 declarations
- Semigroup.lean 6 declarations
- TerminalDerivative.lean 10 declarations
- Tilt.lean 19 declarations
- TimeDerivative.lean 10 declarations
- Translations.lean 10 declarations
- WordStability.lean 2 declarations