OAI/Analysis/Conductivity/Branching/FlatEndingSplice.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ScalarConductivity.branchSplicedField line 20
  2. def OAI.ScalarConductivity.branchSplicedFlux line 23
  3. def OAI.ScalarConductivity.branchSplicedTensor line 27
  4. lemma OAI.ScalarConductivity.branchSplicedField_initial line 30
  5. lemma OAI.ScalarConductivity.branchSplicedFlux_initial line 39
  6. lemma OAI.ScalarConductivity.branchSplicedField_final line 49
  7. lemma OAI.ScalarConductivity.branchSplicedFlux_final line 60
  8. lemma OAI.ScalarConductivity.branchSplicedTensor_measurable line 71
  9. lemma OAI.ScalarConductivity.branchSplicedTensor_symm line 75
  10. lemma OAI.ScalarConductivity.branchSplicedTensor_periodic line 81
  11. lemma OAI.ScalarConductivity.branchSplicedTensor_elliptic line 86
  12. lemma OAI.ScalarConductivity.branchSplicedField_smooth line 107
  13. lemma OAI.ScalarConductivity.branchSpliced_constitution line 114