OAI/Analysis/Conductivity/Flux/AntisymmetricFlux.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ScalarConductivity.direction line 12
  2. lemma OAI.ScalarConductivity.direction_C1 line 15
  3. lemma OAI.ScalarConductivity.direction_commute line 19
  4. lemma OAI.ScalarConductivity.direction_neg line 28
  5. theorem OAI.ScalarConductivity.antisymmetric_potential_divergence line 35
  6. lemma OAI.ScalarConductivity.boundedSmooth_zero line 63
  7. lemma OAI.ScalarConductivity.geometric_finite_C2 line 67
  8. def OAI.ScalarConductivity.cascadePotentialMother line 77
  9. lemma OAI.ScalarConductivity.cascadePotentialMother_antisymm line 83
  10. lemma OAI.ScalarConductivity.cascadePotentialMother_bounded line 89
  11. def OAI.ScalarConductivity.cascadePotential line 97
  12. lemma OAI.ScalarConductivity.cascadePotential_C2 line 102
  13. lemma OAI.ScalarConductivity.cascadePotential_antisymm line 111
  14. def OAI.ScalarConductivity.cascadeFlux line 117
  15. lemma OAI.ScalarConductivity.cascadeFlux_C1 line 120
  16. theorem OAI.ScalarConductivity.cascadeFlux_divergence line 126