OAI/Analysis/Conductivity/Sources/FacePasting.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ScalarConductivity.sourceFacePasteList line 14
  2. lemma OAI.ScalarConductivity.sourceFacePasteList_cons line 19
  3. lemma OAI.ScalarConductivity.sourceFacePasteList_measurable line 24
  4. lemma OAI.ScalarConductivity.sourceFacePasteList_local line 32
  5. lemma OAI.ScalarConductivity.sourceFacePasteList_open line 47
  6. def OAI.ScalarConductivity.sourceFacePaste line 57
  7. lemma OAI.ScalarConductivity.sourceFacePaste_measurable line 60
  8. lemma OAI.ScalarConductivity.sourceFacePaste_open line 64
  9. lemma OAI.ScalarConductivity.measurable_sourceCollarInverse line 69
  10. def OAI.ScalarConductivity.flatEndCoordinates line 73
  11. lemma OAI.ScalarConductivity.contDiff_flatEndCoordinates line 75
  12. lemma OAI.ScalarConductivity.flatEndCoordinates_angles line 80
  13. lemma OAI.ScalarConductivity.flatEndCoordinates_axial line 83