OAI/Analysis/Conductivity/Branching/CascadeLocality.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.cascadePhase_lt_terminal line 11
2. lemma OAI.ScalarConductivity.cascadePhase_before_wide line 17
3. lemma OAI.ScalarConductivity.cascadePhase_after_wide line 24
4. lemma OAI.ScalarConductivity.cascadePhase_inactive_wide line 31
5. lemma OAI.ScalarConductivity.cascadeProfile_deriv_zero_left line 49
6. lemma OAI.ScalarConductivity.cascadeProfile_deriv_zero_right line 55
7. lemma OAI.ScalarConductivity.cascadeBaseStream_zero line 62
8. lemma OAI.ScalarConductivity.cascadeCrossStream_zero_left line 68
9. lemma OAI.ScalarConductivity.cascadeCrossStream_zero_right line 73
10. lemma OAI.ScalarConductivity.cascadeMother_inactive_wide line 79
11. lemma OAI.ScalarConductivity.cascadeCrossStream_next_zero_wide line 102