OAI/Analysis/Conductivity/Branching/CrossingBlock.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ScalarConductivity.crossingValue line 13
  2. def OAI.ScalarConductivity.crossingXX line 16
  3. def OAI.ScalarConductivity.crossingYY line 19
  4. def OAI.ScalarConductivity.crossingXY line 22
  5. def OAI.ScalarConductivity.crossingCurrentX line 26
  6. def OAI.ScalarConductivity.crossingCurrentY line 30
  7. def OAI.ScalarConductivity.crossingCurrentZ line 34
  8. lemma OAI.ScalarConductivity.crossing_first_on_left line 37
  9. lemma OAI.ScalarConductivity.crossing_second_on_right line 40
  10. lemma OAI.ScalarConductivity.crossing_corrections_left line 44
  11. lemma OAI.ScalarConductivity.crossing_corrections_right line 49
  12. lemma OAI.ScalarConductivity.crossing_current_constitution line 55
  13. lemma OAI.ScalarConductivity.crossing_value_hasDerivAt_x line 80
  14. lemma OAI.ScalarConductivity.crossing_value_hasDerivAt_y line 84
  15. lemma OAI.ScalarConductivity.crossing_value_hasDerivAt_z line 89
  16. lemma OAI.ScalarConductivity.crossing_current_divergence line 94
  17. lemma OAI.ScalarConductivity.cascadeProfile_next_connector_zero line 133
  18. lemma OAI.ScalarConductivity.cascadeProfile_crossing_current line 139
  19. lemma OAI.ScalarConductivity.cascadeProfile_crossing_next line 151
  20. lemma OAI.ScalarConductivity.cascade_overlap_value line 171