OAI/Analysis/Conductivity/Walls/ParametricWallTensors.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.wallParticularTensor_parametric_smoothOn line 15
2. lemma OAI.ScalarConductivity.wallHomogeneousTensor_parametric_smoothOn line 35
3. lemma OAI.ScalarConductivity.wallParticularTensor_zero line 54
4. lemma OAI.ScalarConductivity.wallHomogeneousTensor_zero line 66
5. lemma OAI.ScalarConductivity.symmetricSource_zero line 75
6. lemma OAI.ScalarConductivity.wallParticularResidual_parametric_smoothOn line 80
7. lemma OAI.ScalarConductivity.wallCoordinatePair_surjective line 107
8. lemma OAI.ScalarConductivity.wallCoordinatePair_surjective_off_wall line 126
9. def OAI.ScalarConductivity.wallPositiveCut line 135
10. lemma OAI.ScalarConductivity.wallPositiveCut_smooth line 138
11. lemma OAI.ScalarConductivity.wallPositiveCut_indicator line 143
12. lemma OAI.ScalarConductivity.wallPositiveCut_tsupport line 158
13. lemma OAI.ScalarConductivity.wallNegativeCut_tsupport line 173