OAI/Analysis/Conductivity/Variational/QuantitativeLocalTwoFieldSplit.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ScalarConductivity.exists_quantitative_local_two_field_split line 23
2. lemma OAI.ScalarConductivity.contDiffAt_matrix_mul line 127
3. lemma OAI.ScalarConductivity.contDiffAt_matrix_transpose line 139
4. lemma OAI.ScalarConductivity.contDiffAt_matrix_det line 145
5. lemma OAI.ScalarConductivity.contDiffAt_matrix_inv line 152
6. lemma OAI.ScalarConductivity.contDiffAt_repairError line 170
7. lemma OAI.ScalarConductivity.contDiffAt_repairPushed line 191