OAI/NumberTheory/DirichletL/Reflection/ShapeWeights.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.InverseReflectedPhase.shapeArgument_one line 12
2. lemma OAI.SevenEighths.InverseReflectedPhase.stratumShapeFactor_mul_one line 15
3. lemma OAI.SevenEighths.InverseReflectedPhase.primeFamily_primary_product_ne_zero line 20
4. lemma OAI.SevenEighths.InverseReflectedPhase.stratumShapeFactor_frozen_norm line 25
5. lemma OAI.SevenEighths.InverseReflectedPhase.row_shape_weight_norm line 30
6. lemma OAI.SevenEighths.InverseReflectedPhase.slot_shape_weight_norm line 35