OAI/Analysis/Conductivity/Flux/CylinderGreen.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.poisson_complex_hermitian_green line 16
2. lemma OAI.ScalarConductivity.smoothFiniteAxis_memLp line 46
3. def OAI.ScalarConductivity.smoothFiniteAxisLp line 51
4. lemma OAI.ScalarConductivity.smoothFiniteAxisLp_ae line 54
5. lemma OAI.ScalarConductivity.finiteDecay_green_inner line 58