OAI/Analysis/Conductivity/Variational/LocalSymmetricPiola.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ScalarConductivity.localPiolaTensor line 12
2. lemma OAI.ScalarConductivity.localPiolaTensor_isSymm line 21
3. lemma OAI.ScalarConductivity.localPiolaTensor_support line 33
4. lemma OAI.ScalarConductivity.localPiolaTensor_compact line 43
5. lemma OAI.ScalarConductivity.localPiolaTensor_smooth line 53
6. lemma OAI.ScalarConductivity.operatorMatrix_local_inverse_fderiv line 78
7. lemma OAI.ScalarConductivity.gradientColumns_local_recomposition line 86
8. theorem OAI.ScalarConductivity.localPiolaTensor_columns line 101