OAI/Analysis/Conductivity/Variational/ParametricSpatialDerivative.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ScalarConductivity.spatialFDeriv line 17
2. lemma OAI.ScalarConductivity.spatialFDeriv_eq line 20
3. lemma OAI.ScalarConductivity.spatialFDeriv_smoothOn line 26
4. lemma OAI.ScalarConductivity.spatialFDeriv_smooth line 40
5. lemma OAI.ScalarConductivity.inverseSourceWeight_eq_det line 53
6. theorem OAI.ScalarConductivity.parametric_inverseSourceWeight_smooth line 68
7. theorem OAI.ScalarConductivity.parametric_chart_compact_bounds line 97