OAI/Analysis/Conductivity/Sources/FaceMeasure.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ScalarConductivity.sourceFaceParameter line 18
  2. def OAI.ScalarConductivity.sourceFaceWeight line 21
  3. lemma OAI.ScalarConductivity.continuous_sourceFaceParameter line 24
  4. lemma OAI.ScalarConductivity.continuous_sourceFaceWeight line 34
  5. lemma OAI.ScalarConductivity.sourceFaceWeight_pos line 38
  6. def OAI.ScalarConductivity.sourceFaceMeasure line 42
  7. instance OAI.ScalarConductivity.finite_sourceFaceMeasure line 46
  8. lemma OAI.ScalarConductivity.integral_sourceFaceMeasure line 54
  9. lemma OAI.ScalarConductivity.integral_sourceFaceWeight_continuous line 67
  10. lemma OAI.ScalarConductivity.continuous_sourceFaceIntegral line 86
  11. theorem OAI.ScalarConductivity.sourceCylinderMeasure_eq_faces line 106