OAI/Analysis/CoulombRadii/FieldAnalysis/LowProjection.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Coulomb.lowProjection line 16
2. lemma OAI.Coulomb.lowProjection_memLp line 20
3. lemma OAI.Coulomb.lowProjection_tail_memLp line 25
4. lemma OAI.Coulomb.lowProjection_eq_contract line 31