OAI/Analysis/Triangular/Envelope/EnvelopeNorms.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.FiniteCertificate.columnNormTable line 13
2. lemma OAI.AtomicTriangular.FiniteCertificate.columnNormTable_mem line 14
3. lemma OAI.AtomicTriangular.FiniteCertificate.fourierNorm_mem line 39
4. def OAI.AtomicTriangular.FiniteCertificate.fullWTable line 40
5. lemma OAI.AtomicTriangular.FiniteCertificate.fullWTable_calc line 41
6. lemma OAI.AtomicTriangular.FiniteCertificate.fullWTable_mem line 44
7. def OAI.AtomicTriangular.FiniteCertificate.residueQTable line 47
8. lemma OAI.AtomicTriangular.FiniteCertificate.residueQTable_mem line 48
9. lemma OAI.AtomicTriangular.FiniteCertificate.tailQTable_mem line 65
10. def OAI.AtomicTriangular.FiniteCertificate.residueDTable line 68
11. lemma OAI.AtomicTriangular.FiniteCertificate.residueDTable_mem line 69
12. lemma OAI.AtomicTriangular.FiniteCertificate.tailDTable_mem line 86
13. lemma OAI.AtomicTriangular.FiniteCertificate.residueQTable_pos line 89