OAI/Analysis/Triangular/Construction/FiniteProjection.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.Construction.rowNode line 9
2. def OAI.AtomicTriangular.Construction.rowDerivative line 12
3. lemma OAI.AtomicTriangular.Construction.rowNode_mem line 13
4. lemma OAI.AtomicTriangular.Construction.finite_column_matching line 16
5. lemma OAI.AtomicTriangular.Construction.finiteColumn_row_directJet line 21
6. lemma OAI.AtomicTriangular.Construction.finiteSpectral_row_directJet line 36
7. lemma OAI.AtomicTriangular.Construction.inputJJet_row_direct_negative line 42