OAI/Analysis/Triangular/Construction/Schur.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.Schur.neumann line 11
2. lemma OAI.AtomicTriangular.Schur.neumann_equation line 12
3. lemma OAI.AtomicTriangular.Schur.neumann_norm line 18
4. def OAI.AtomicTriangular.Schur.tailOperator line 36
5. def OAI.AtomicTriangular.Schur.tailSolution line 38
6. def OAI.AtomicTriangular.Schur.finiteSolution line 41
7. lemma OAI.AtomicTriangular.Schur.solution_equations line 45