OAI/Analysis/Conductivity/Geometry/InverseChartPiolaOperator.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ScalarConductivity.inverseChartPiolaOperator line 23
2. lemma OAI.ScalarConductivity.localPiolaFlux_inverse_eq line 27
3. lemma OAI.ScalarConductivity.inverseChartPiolaOperator_continuousAt line 33
4. lemma OAI.ScalarConductivity.inverseChartPiolaOperator_eq_id line 50
5. theorem OAI.ScalarConductivity.inverseChartPiola_freezing line 61