OAI/Analysis/Conductivity/Flux/PiolaFluxAdd.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ScalarConductivity.piolaFlux_add line 23
  2. lemma OAI.ScalarConductivity.piolaFlux_tsupport_subset line 29
  3. theorem OAI.ScalarConductivity.local_compact_recomposition_difference line 40
  4. theorem OAI.ScalarConductivity.local_compact_updated_flux line 64
  5. lemma OAI.ScalarConductivity.operatorMatrix_contDiff line 109
  6. lemma OAI.ScalarConductivity.contDiff_gradientColumns line 116
  7. def OAI.ScalarConductivity.conductivityFlux line 123
  8. lemma OAI.ScalarConductivity.conductivityFlux_contDiffOn line 127
  9. structure OAI.ScalarConductivity.CompactTwoFieldReplacement line 136
  10. lemma OAI.ScalarConductivity.tsupport_matrix_subset line 155
  11. theorem OAI.ScalarConductivity.synchronized_compact_replacement line 165