OAI/Analysis/Triangular/Construction/FiniteAssembly.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.finiteRow_sum line 10
2. lemma OAI.AtomicTriangular.Construction.finiteApprox_shift line 33
3. lemma OAI.AtomicTriangular.Construction.finiteApprox_fixed line 38
4. lemma OAI.AtomicTriangular.Construction.finiteApprox_transformed line 43
5. lemma OAI.AtomicTriangular.Construction.gamma_actual line 56
6. lemma OAI.AtomicTriangular.Construction.inputJJet_row_transformed line 60