OAI/NumberTheory/DirichletL/Moments/SourceInputReindex.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SevenEighths.CenteredMomentSourceInputReindex.reindex line 21
  2. def OAI.SevenEighths.CenteredMomentSourceInputReindex.tupleMap line 71
  3. lemma OAI.SevenEighths.CenteredMomentSourceInputReindex.tupleMap_apply line 75
  4. lemma OAI.SevenEighths.CenteredMomentSourceInputReindex.tupleMap_product line 78
  5. lemma OAI.SevenEighths.CenteredMomentSourceInputReindex.pools_map line 82
  6. lemma OAI.SevenEighths.CenteredMomentSourceInputReindex.profile_map line 98
  7. lemma OAI.SevenEighths.CenteredMomentSourceInputReindex.columns_map line 108
  8. lemma OAI.SevenEighths.CenteredMomentSourceInputReindex.coefficient_map line 117
  9. lemma OAI.SevenEighths.CenteredMomentSourceInputReindex.volume_map line 128
  10. lemma OAI.SevenEighths.CenteredMomentSourceInputReindex.controls_map line 131
  11. lemma OAI.SevenEighths.CenteredMomentSourceInputReindex.sourceRadius_map line 137
  12. theorem OAI.SevenEighths.CenteredMomentSourceInputReindex.normalizedGaussSource_map line 142
  13. def OAI.SevenEighths.CenteredMomentSourceInputReindex.imageInput line 149
  14. lemma OAI.SevenEighths.CenteredMomentSourceInputReindex.imageInput_lo line 153
  15. lemma OAI.SevenEighths.CenteredMomentSourceInputReindex.imageInput_hi line 158
  16. lemma OAI.SevenEighths.CenteredMomentSourceInputReindex.imageInput_normalized line 163
  17. def OAI.SevenEighths.CenteredMomentSourceInputReindex.allocatedImage line 168
  18. lemma OAI.SevenEighths.CenteredMomentSourceInputReindex.allocatedImage_ranges line 174
  19. theorem OAI.SevenEighths.CenteredMomentSourceInputReindex.allocatedImage_normalized line 190