OAI/NumberTheory/DirichletL/Descent/GlobalRetainedGates.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.InverseMomentGlobalRetainedGates.retainedSource line 18
2. lemma OAI.SevenEighths.InverseMomentGlobalRetainedGates.original_parent_witness line 23
3. lemma OAI.SevenEighths.InverseMomentGlobalRetainedGates.original_coordinates line 34
4. lemma OAI.SevenEighths.InverseMomentGlobalRetainedGates.retained_conditions line 48
5. lemma OAI.SevenEighths.InverseMomentGlobalRetainedGates.original_numeric_gates line 56