OAI/Analysis/Conductivity/Sobolev/WallParticularBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.wallParticularNumerator_derivative line 13
2. lemma OAI.ScalarConductivity.wall_segment_mul line 31
3. lemma OAI.ScalarConductivity.wallParticularNumerator_derivative_bound line 36
4. theorem OAI.ScalarConductivity.wall_particular_coefficient_bound line 89