OAI/NumberTheory/DirichletL/Descent/ActualChildStatePuncture.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.InverseMoment.actual_inherited_puncture_dvd line 11
2. lemma OAI.SevenEighths.InverseMoment.actual_inherited_radical_puncture_span line 18
3. lemma OAI.SevenEighths.InverseMoment.actual_inherited_radical_preserves_support line 23
4. lemma OAI.SevenEighths.InverseMoment.actual_inherited_radical_preserves_fixed line 30
5. lemma OAI.SevenEighths.InverseMoment.actual_inherited_radical_is_radical line 37