OAI/NumberTheory/DirichletL/Moments/SecondRetainedRows.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.CenteredMomentSecondRetainedRows.retainedRows line 15
2. theorem OAI.SevenEighths.CenteredMomentSecondRetainedRows.retained_mem_rows line 17
3. theorem OAI.SevenEighths.CenteredMomentSecondRetainedRows.physical_sector_zero_of_weight line 37
4. theorem OAI.SevenEighths.CenteredMomentSecondRetainedRows.physical_partition_finite_rows line 44
5. theorem OAI.SevenEighths.CenteredMomentSecondRetainedRows.actual_GV_finite_rows line 60