OAI/Analysis/VlasovMaxwell/Retarded/DirectMixedCover.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RVM.directMixedSector line 15
2. lemma OAI.RVM.directMixed_tsum line 21
3. lemma OAI.RVM.physical_direct_mixed_cover line 32
4. lemma OAI.RVM.directTriangleDensity_mixed_cover line 56
5. lemma OAI.RVM.directTriangle_mixed_family_estimate line 69
6. lemma OAI.RVM.Admissible.direct_source_absolute_uniform line 92
7. lemma OAI.RVM.Admissible.direct_transport_uniform line 172