OAI/Analysis/Conductivity/Walls/ParametricWallAmplitude.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.wallMomentAmplitude_parametric_smooth line 13
2. lemma OAI.ScalarConductivity.wallMomentAmplitude_zero line 22
3. lemma OAI.ScalarConductivity.wallMomentAmplitude_compact line 26
4. def OAI.ScalarConductivity.wallTransferFamily line 36
5. lemma OAI.ScalarConductivity.wallTransferFamily_smoothOn line 41
6. lemma OAI.ScalarConductivity.wallTransferFamily_zero line 55
7. lemma OAI.ScalarConductivity.compact_parameter_nonzero_neighborhood line 65