OAI/NumberTheory/DirichletL/Moments/CoreFloor.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.CenteredMomentCoreFloor.zeroRow line 16
2. def OAI.SevenEighths.CenteredMomentCoreFloor.zeroEnergy line 19
3. theorem OAI.SevenEighths.CenteredMomentCoreFloor.zero_energy_eq line 23
4. theorem OAI.SevenEighths.CenteredMomentCoreFloor.zero_absolute line 29
5. theorem OAI.SevenEighths.CenteredMomentCoreFloor.zero_padded_core line 44
6. theorem OAI.SevenEighths.CenteredMomentCoreFloor.whole_slot_norm line 65
7. theorem OAI.SevenEighths.CenteredMomentCoreFloor.slot_energy_reduction line 78