OAI/Analysis/Triangular/Taylor/VariationBound.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.FiniteCertificate.varFreqBox line 11
2. lemma OAI.AtomicTriangular.FiniteCertificate.varFreqBox_mem line 12
3. def OAI.AtomicTriangular.FiniteCertificate.cVariationBox line 17
4. lemma OAI.AtomicTriangular.FiniteCertificate.cVariationBox_mem line 19
5. lemma OAI.AtomicTriangular.FiniteCertificate.cVariation_lt line 23
6. def OAI.AtomicTriangular.FiniteCertificate.dVariationBox line 26
7. lemma OAI.AtomicTriangular.FiniteCertificate.dVariationBox_mem line 28
8. lemma OAI.AtomicTriangular.FiniteCertificate.dVariation_lt line 31