OAI/Analysis/Triangular/Certificate/ParamNorm.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.FiniteCertificate.A1AbsNumerators line 10
2. lemma OAI.AtomicTriangular.FiniteCertificate.A1AbsNumerators_calc line 11
3. lemma OAI.AtomicTriangular.FiniteCertificate.A1_norm_bound line 14
4. def OAI.AtomicTriangular.FiniteCertificate.A2AbsNumerators line 28
5. lemma OAI.AtomicTriangular.FiniteCertificate.A2AbsNumerators_calc line 29
6. lemma OAI.AtomicTriangular.FiniteCertificate.A2_norm_bound line 32