OAI/Analysis/Conductivity/Branching/ParentFullEndEnergy.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ScalarConductivity.parentFullEnd_weak_energy_exists line 12
2. lemma OAI.ScalarConductivity.childCentralRawComponentCLM_zero_end line 69
3. lemma OAI.ScalarConductivity.childCentralComponentCLM_zero_end line 80
4. lemma OAI.ScalarConductivity.childJoinedComponentCLM_end_value line 91
5. lemma OAI.ScalarConductivity.childJoinedComponentCLM_end_gradient line 105
6. lemma OAI.ScalarConductivity.childLocalComponentCLM_end_value line 123
7. lemma OAI.ScalarConductivity.childLocalComponentCLM_end_gradient line 132
8. theorem OAI.ScalarConductivity.childCompletionJoin_end_ae line 153