OAI/Analysis/VlasovMaxwell/Retarded/SourceMajorantFamily.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.measurable_sourceMajorantFamily line 14
2. lemma OAI.RVM.measurable_coneBin_scalarDensity line 33
3. lemma OAI.RVM.physicalSourceMajorantDensity_aemeasurable line 64
4. lemma OAI.RVM.physicalSourceMajorantDensity_relative_cover line 92
5. lemma OAI.RVM.physicalSourceMajorant_integral_relative_cover line 109
6. lemma OAI.RVM.closed_deficit_index_lt line 136
7. lemma OAI.RVM.PhaseFlowOn.physicalSourceMajorant_integral_truncate line 153
8. lemma OAI.RVM.tsum_quad_of_finite_radial_bound line 189
9. lemma OAI.RVM.Admissible.source_majorant_remaining_radial_cover line 212