OAI/Analysis/Triangular/Energy/PairPoisson.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.inputComplex_spectral_atoms line 9
2. lemma OAI.AtomicTriangular.Construction.outputComplex_spectral_atoms line 12
3. lemma OAI.AtomicTriangular.Construction.inputComplex_lattice_summable line 16
4. lemma OAI.AtomicTriangular.Construction.outputComplex_lattice_summable line 21
5. lemma OAI.AtomicTriangular.Construction.input_output_lattice_poisson line 26
6. lemma OAI.AtomicTriangular.Construction.pairComplex_lattice_summable line 41
7. lemma OAI.AtomicTriangular.Construction.pairComplex_lattice_poisson line 44
8. lemma OAI.AtomicTriangular.Construction.pairSchwartz_lattice_summable line 51
9. lemma OAI.AtomicTriangular.Construction.pairSchwartz_lattice_poisson line 54