OAI/Analysis/Triangular/Taylor/
2998 declarations, 0 contain sorry, 0 declared as axioms; 65 files
Files
- CoefficientSpectral.lean 14 declarations
- CurvatureData00.lean 22 declarations
- CurvatureData01.lean 22 declarations
- CurvatureData10.lean 22 declarations
- CurvatureData11.lean 22 declarations
- FiniteTaylorError.lean 4 declarations
- FiniteTaylorIdentity.lean 9 declarations
- Taylor.lean 7 declarations
- TaylorExp.lean 2 declarations
- TaylorExp00.lean 21 declarations
- TaylorExp01.lean 21 declarations
- TaylorExp10.lean 21 declarations
- TaylorExp11.lean 21 declarations
- TaylorPhase.lean 17 declarations
- TaylorRows00.lean 88 declarations
- TaylorRows01.lean 88 declarations
- TaylorRows02.lean 88 declarations
- TaylorRows03.lean 88 declarations
- TaylorRows04.lean 88 declarations
- TaylorRows05.lean 88 declarations
- TaylorRows06.lean 88 declarations
- TaylorRows10.lean 88 declarations
- TaylorRows11.lean 88 declarations
- TaylorRows12.lean 88 declarations
- TaylorRows13.lean 88 declarations
- TaylorRows14.lean 88 declarations
- TaylorRows15.lean 88 declarations
- TaylorRows16.lean 88 declarations
- TaylorRowsBase.lean 10 declarations
- TaylorSpectrum.lean 262 declarations
- TaylorWave.lean 4 declarations
- TaylorWave00.lean 2 declarations
- TaylorWave000.lean 44 declarations
- TaylorWave001.lean 44 declarations
- TaylorWave002.lean 44 declarations
- TaylorWave003.lean 44 declarations
- TaylorWave004.lean 44 declarations
- TaylorWave005.lean 44 declarations
- TaylorWave006.lean 44 declarations
- TaylorWave01.lean 2 declarations
- TaylorWave010.lean 44 declarations
- TaylorWave011.lean 44 declarations
- TaylorWave012.lean 44 declarations
- TaylorWave013.lean 44 declarations
- TaylorWave014.lean 44 declarations
- TaylorWave015.lean 44 declarations
- TaylorWave016.lean 44 declarations
- TaylorWave10.lean 2 declarations
- TaylorWave100.lean 44 declarations
- TaylorWave101.lean 44 declarations
- TaylorWave102.lean 44 declarations
- TaylorWave103.lean 44 declarations
- TaylorWave104.lean 44 declarations
- TaylorWave105.lean 44 declarations
- TaylorWave106.lean 44 declarations
- TaylorWave11.lean 2 declarations
- TaylorWave110.lean 44 declarations
- TaylorWave111.lean 44 declarations
- TaylorWave112.lean 44 declarations
- TaylorWave113.lean 44 declarations
- TaylorWave114.lean 44 declarations
- TaylorWave115.lean 44 declarations
- TaylorWave116.lean 44 declarations
- VariationBound.lean 8 declarations
- WaveFunction.lean 17 declarations