OAI/Analysis/Conductivity/Branching/PhysicalBlockEnergySum.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.physicalBlockRegion_integral line 12
2. theorem OAI.ScalarConductivity.physicalBlockTensor_energy_sum line 29
3. lemma OAI.ScalarConductivity.sourceExpandedInner_bounds line 63
4. lemma OAI.ScalarConductivity.sourceExpandedChild_far_parent line 72
5. lemma OAI.ScalarConductivity.sourceExpandedChildren_exclusive line 102
6. lemma OAI.ScalarConductivity.sourceExpandedChild_other line 116
7. theorem OAI.ScalarConductivity.physicalBlockRegion_time_iff line 127