OAI/Analysis/Conductivity/Sources/ParametricSymmetricSources.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.gradientColumns_parametric_smoothOn line 14
2. lemma OAI.ScalarConductivity.coordinateDivergence_parametric_smoothOn line 23
3. lemma OAI.ScalarConductivity.symmetricSource_parametric_smoothOn line 30
4. lemma OAI.ScalarConductivity.wallCoordinatePair_parametric_smooth line 46
5. lemma OAI.ScalarConductivity.wallMatrix_parametric_smoothOn line 55
6. lemma OAI.ScalarConductivity.compact_parametric_norm_small line 84
7. lemma OAI.ScalarConductivity.compact_supported_family_C1_small line 99