OAI/Analysis/VlasovMaxwell/Population/SignedRemainder.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RVM.intervalIntegral_vec_apply line 16
2. lemma OAI.RVM.ac_weighted_vector_ibp line 21
3. lemma OAI.RVM.ac_weighted_signed_ibp line 48
4. def OAI.RVM.signedRemainder line 83
5. lemma OAI.RVM.contDiffOn_retardedPrimitive line 88
6. lemma OAI.RVM.continuousOn_signedRemainder line 103
7. lemma OAI.RVM.continuousOn_signedForceKernel line 127
8. lemma OAI.RVM.weighted_signed_identity_on_branch line 157