OAI/NumberTheory/DirichletL/Inversion/InitialDyadicAssemblyLive.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.InverseInitialDyadicAssembly.cappedSource line 17
2. theorem OAI.SevenEighths.InverseInitialDyadicAssembly.physicalBlock_cap_filter line 24
3. theorem OAI.SevenEighths.InverseInitialDyadicAssembly.physicalBlock_live_partition line 51
4. theorem OAI.SevenEighths.InverseInitialDyadicAssembly.physicalBlock_live_norm line 65