OAI/Analysis/Conductivity/Flux/AxialFluxBlend.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ScalarConductivity.axialFluxBlend line 11
  2. lemma OAI.ScalarConductivity.axialFluxBlend_C1 line 14
  3. lemma OAI.ScalarConductivity.axialFluxBlend_divergence line 21
  4. lemma OAI.ScalarConductivity.axialFluxBlend_divergence_zero line 51
  5. theorem OAI.ScalarConductivity.C1_divergence_zero_on_test line 68
  6. theorem OAI.ScalarConductivity.axialFluxBlend_weak line 107
  7. def OAI.ScalarConductivity.delayedEndingTensor line 131
  8. def OAI.ScalarConductivity.delayedEndingPotential line 134
  9. lemma OAI.ScalarConductivity.delayedEndingPotential_C2 line 137
  10. lemma OAI.ScalarConductivity.delayedEndingPotential_antisymm line 141
  11. lemma OAI.ScalarConductivity.delayedEnding_direction line 147
  12. lemma OAI.ScalarConductivity.delayedEnding_curl line 155
  13. lemma OAI.ScalarConductivity.delayedEnding_constitution_ae line 163
  14. lemma OAI.ScalarConductivity.delayedEndingFlux_C1 line 178
  15. lemma OAI.ScalarConductivity.delayedEndingFlux_divergence line 186