OAI/Analysis/Conductivity/Branching/CascadeProfile.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ScalarConductivity.connectorProfile_left line 11
  2. lemma OAI.ScalarConductivity.connectorProfile_right line 23
  3. def OAI.ScalarConductivity.cascadeProfile line 41
  4. lemma OAI.ScalarConductivity.cascadeProfile_smooth line 44
  5. lemma OAI.ScalarConductivity.cascadeProfile_nonneg line 48
  6. lemma OAI.ScalarConductivity.cascadeProfile_zero_left line 52
  7. lemma OAI.ScalarConductivity.cascadeProfile_zero_right line 55
  8. lemma OAI.ScalarConductivity.cascadeProfile_compact line 59
  9. lemma OAI.ScalarConductivity.cascadeProfile_connector line 67
  10. lemma OAI.ScalarConductivity.cascadeProfile_incoming line 73
  11. lemma OAI.ScalarConductivity.cascadeProfile_outgoing line 78
  12. def OAI.ScalarConductivity.cascadeRatio line 84
  13. def OAI.ScalarConductivity.cascadeLength line 86
  14. lemma OAI.ScalarConductivity.cascadeRatio_pos line 88
  15. lemma OAI.ScalarConductivity.cascadeRatio_small line 91
  16. lemma OAI.ScalarConductivity.cascade_length_positive line 102