OAI/NumberTheory/DirichletL/Moments/SecondLiveBlock.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.CenteredMomentSecondLiveBlock.liveLabels line 18
2. lemma OAI.SevenEighths.CenteredMomentSecondLiveBlock.mem_liveLabels line 21
3. lemma OAI.SevenEighths.CenteredMomentSecondLiveBlock.common_height_zero_of_not_live line 25
4. def OAI.SevenEighths.CenteredMomentSecondLiveBlock.liveRows line 34
5. lemma OAI.SevenEighths.CenteredMomentSecondLiveBlock.liveRows_weight line 38
6. lemma OAI.SevenEighths.CenteredMomentSecondLiveBlock.liveRows_geometry line 43
7. lemma OAI.SevenEighths.CenteredMomentSecondLiveBlock.physicalBlock_live_rows line 52
8. lemma OAI.SevenEighths.CenteredMomentSecondLiveBlock.physicalBlock_row_split line 67
9. theorem OAI.SevenEighths.CenteredMomentSecondLiveBlock.original_live_blocks line 77