OAI/Analysis/Conductivity/Walls/ParametricWallOperators.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.wallDerivative_parametric_smooth line 15
2. lemma OAI.ScalarConductivity.wallAlong_parametric_smooth line 21
3. lemma OAI.ScalarConductivity.wallPrimitive_parametric_smooth line 26
4. lemma OAI.ScalarConductivity.wallQuotient_parametric_smooth line 35
5. lemma OAI.ScalarConductivity.wallParticularNumerator_parametric_smooth line 45
6. lemma OAI.ScalarConductivity.wallHomogeneousNumerator_parametric_smooth line 55
7. lemma OAI.ScalarConductivity.parametric_smooth_wall_cutoff_ratio line 67