OAI/Analysis/MatrixSigning/Arithmetic/Kappa₁.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CurrentKS.Scalar.kappa₁ line 12
2. lemma OAI.CurrentKS.Scalar.hasDerivAt_kappa line 15
3. lemma OAI.CurrentKS.Scalar.strip_interior line 26
4. lemma OAI.CurrentKS.Scalar.strip_base line 28
5. lemma OAI.CurrentKS.Scalar.strip_denominator line 36
6. lemma OAI.CurrentKS.Scalar.scalar_fraction_strip line 50
7. theorem OAI.CurrentKS.Scalar.strip_derivative_bounds line 64