OAI/Analysis/Conductivity/Branching/CascadeStreams.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.crossingResidualFirst_smooth line 11
2. lemma OAI.ScalarConductivity.crossingResidualSecond_smooth line 15
3. lemma OAI.ScalarConductivity.crossingResidualFirst_zero_right line 19
4. lemma OAI.ScalarConductivity.crossingResidualSecond_zero_left line 27
5. lemma OAI.ScalarConductivity.crossingResidualFirst_compact line 36
6. lemma OAI.ScalarConductivity.crossingResidualSecond_compact line 41
7. def OAI.ScalarConductivity.cascadeBaseStream line 47
8. def OAI.ScalarConductivity.cascadeCrossStream line 50
9. lemma OAI.ScalarConductivity.cascadeBaseStream_bounded line 55
10. lemma OAI.ScalarConductivity.cascadeCrossStream_bounded line 62