OAI/Analysis/Triangular/Taylor/Taylor.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.Construction.otherSide line 10
2. def OAI.AtomicTriangular.Construction.finiteSpectrum line 12
3. def OAI.AtomicTriangular.Construction.taylorPhase line 16
4. def OAI.AtomicTriangular.Construction.taylorAmplitude line 20
5. def OAI.AtomicTriangular.Construction.taylorWave line 23
6. def OAI.AtomicTriangular.Construction.taylorRow line 27
7. def OAI.AtomicTriangular.Construction.finiteTaylor line 32