OAI/Analysis/Conductivity/Branching/PhysicalJoin.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.physical_localized_jet_zero line 12
2. lemma OAI.ScalarConductivity.weak_jet_zero_of_val_zero line 48
3. lemma OAI.ScalarConductivity.parentCompletionJoin_zero_off_support line 57
4. lemma OAI.ScalarConductivity.childCompletionJoin_zero_off_support line 70
5. lemma OAI.ScalarConductivity.centralInteriorCompletion_zero_off_support line 83
6. lemma OAI.ScalarConductivity.sourceJoin_children_separate line 102
7. lemma OAI.ScalarConductivity.physicalOtherEnd_child_time line 122
8. lemma OAI.ScalarConductivity.physicalChildEnd_parent_time line 148
9. lemma OAI.ScalarConductivity.parent_join_zero_on_children line 156
10. lemma OAI.ScalarConductivity.physical_child_join_zero_on_other_ends line 176
11. lemma OAI.ScalarConductivity.central_interior_join_zero_on_ends line 202