OAI/NumberTheory/DirichletL/Detector/MixedFubini.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.ProbePhysical.count_product line 9
2. lemma OAI.SevenEighths.ProbePhysical.count_equiv_preserving line 17
3. def OAI.SevenEighths.ProbePhysical.quadShuffle line 28
4. lemma OAI.SevenEighths.ProbePhysical.quadShuffle_preserving line 37
5. def OAI.SevenEighths.ProbePhysical.physicalNestingEquiv line 50
6. lemma OAI.SevenEighths.ProbePhysical.physicalNesting_preserving line 66
7. lemma OAI.SevenEighths.ProbePhysical.integral_count_eq_tsum line 84
8. theorem OAI.SevenEighths.ProbePhysical.integral_physical_nesting line 89