OAI/NumberTheory/OrdinaryCorrelations/AbsoluteDefect/AdmissibleFacts.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.OrdinaryAnalyticCentering.admissible_facts line 29
2. lemma OAI.OrdinaryAnalyticCentering.retained_properties line 34
3. lemma OAI.OrdinaryAnalyticCentering.shift_properties line 47
4. lemma OAI.OrdinaryAnalyticCentering.retained_scale line 87
5. lemma OAI.OrdinaryAnalyticCentering.fiberCoeff_norm line 96