OAI/Analysis/Conductivity/Variational/Symmetrize.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ScalarConductivity.symmetrize line 25
  2. lemma OAI.ScalarConductivity.symmetrize_isSymm line 28
  3. lemma OAI.ScalarConductivity.symmetrize_eq line 33
  4. def OAI.ScalarConductivity.repairError line 41
  5. lemma OAI.ScalarConductivity.repairError_zero line 47
  6. lemma OAI.ScalarConductivity.repairError_mul line 52
  7. lemma OAI.ScalarConductivity.gram_det_ne_zero line 60
  8. lemma OAI.ScalarConductivity.matrix_mul_contAt line 69
  9. lemma OAI.ScalarConductivity.matrix_transpose_contAt line 75
  10. lemma OAI.ScalarConductivity.continuousAt_gramInverse line 80
  11. lemma OAI.ScalarConductivity.continuousAt_repairError line 98
  12. lemma OAI.ScalarConductivity.compact_zero_stability line 115
  13. theorem OAI.ScalarConductivity.repairError_open_stability line 137