OAI/Analysis/Conductivity/Branching/EndingCoordinateTransport.lean

GitHub source file

25 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ScalarConductivity.permutedDilation line 11
  2. lemma OAI.ScalarConductivity.permutedDilation_smooth line 14
  3. lemma OAI.ScalarConductivity.direction_permutedDilation line 20
  4. lemma OAI.ScalarConductivity.potentialCurl_permutedDilation line 37
  5. lemma OAI.ScalarConductivity.permutedTensor_quadratic line 45
  6. lemma OAI.ScalarConductivity.permutedTensor_constitution line 58
  7. lemma OAI.ScalarConductivity.permutedDilation_quasiMeasurePreserving line 82
  8. def OAI.ScalarConductivity.angularAxisSwap line 102
  9. lemma OAI.ScalarConductivity.angularAxisSwap_apply line 104
  10. lemma OAI.ScalarConductivity.angularAxisSwap_symm line 107
  11. def OAI.ScalarConductivity.alignedEndingValue line 109
  12. def OAI.ScalarConductivity.alignedEndingTensor line 112
  13. def OAI.ScalarConductivity.alignedEndingPotential line 116
  14. lemma OAI.ScalarConductivity.alignedEndingValue_C2 line 120
  15. lemma OAI.ScalarConductivity.alignedEndingPotential_C2 line 124
  16. lemma OAI.ScalarConductivity.alignedEndingPotential_antisymm line 128
  17. lemma OAI.ScalarConductivity.alignedEndingTensor_measurable line 133
  18. lemma OAI.ScalarConductivity.alignedEndingTensor_symm line 139
  19. lemma OAI.ScalarConductivity.alignedEndingTensor_normal line 145
  20. lemma OAI.ScalarConductivity.alignedEnding_initial line 152
  21. lemma OAI.ScalarConductivity.alignedEnding_terminal line 160
  22. lemma OAI.ScalarConductivity.alignedEnding_constitution_ae line 166
  23. lemma OAI.ScalarConductivity.alignedEndingFlux_C1 line 177
  24. lemma OAI.ScalarConductivity.alignedEndingFlux_divergence line 183
  25. theorem OAI.ScalarConductivity.alignedEnding_weak_equation line 188