OAI/Analysis/Triangular/Envelope/KernelBounds.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.fullTailW_nonneg line 10
2. lemma OAI.AtomicTriangular.Construction.finiteNode_node line 22
3. lemma OAI.AtomicTriangular.Construction.finiteNode_Qpos line 24
4. lemma OAI.AtomicTriangular.Construction.Node.Qpos line 27
5. lemma OAI.AtomicTriangular.Construction.finite_tail_column_bound line 30
6. lemma OAI.AtomicTriangular.Construction.paired_summable_bound line 42
7. lemma OAI.AtomicTriangular.Construction.tail_atom_column_bounds line 55
8. lemma OAI.AtomicTriangular.Construction.tail_tail_column_bounds line 72
9. lemma OAI.AtomicTriangular.Construction.tail_finite_column_bound line 89
10. lemma OAI.AtomicTriangular.Construction.tail_tail_column_bound line 92
11. lemma OAI.AtomicTriangular.Construction.tail_constant_column_bound line 95