OAI/Analysis/Triangular/Construction/RepetitionBound.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.FiniteCertificate.repetitionExpInput line 8
2. def OAI.AtomicTriangular.FiniteCertificate.repetitionExpData line 9
3. lemma OAI.AtomicTriangular.FiniteCertificate.repetitionExpData_calc line 10
4. lemma OAI.AtomicTriangular.FiniteCertificate.repetitionExpData_mem line 11
5. def OAI.AtomicTriangular.FiniteCertificate.repetitionNormBox line 17
6. lemma OAI.AtomicTriangular.FiniteCertificate.repetitionNormBox_calc line 18
7. lemma OAI.AtomicTriangular.FiniteCertificate.repetitionNormBox_mem line 21
8. lemma OAI.AtomicTriangular.FiniteCertificate.repetitionNorm_bound line 31