OAI/NumberTheory/DirichletL/Detector/RawNesting.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SevenEighths.ProbePhysical.PhysicalNestedSpace line 20
2. def OAI.SevenEighths.ProbePhysical.physicalRawNesting line 22
3. lemma OAI.SevenEighths.ProbePhysical.physicalRawNesting_preserving line 25
4. def OAI.SevenEighths.ProbePhysical.originalNestedOnLines line 33
5. theorem OAI.SevenEighths.ProbePhysical.originalRaw_integral_eq_nesting line 39