OAI/Analysis/Conductivity/Branching/PhysicalBlockEnergy.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.physicalBlockTensor_central_ae line 13
2. lemma OAI.ScalarConductivity.physicalBlockTensor_entry_memLp line 39
3. theorem OAI.ScalarConductivity.physicalBlockTensor_weak_integrable line 50
4. lemma OAI.ScalarConductivity.physicalBlockTensor_end_energy line 68
5. lemma OAI.ScalarConductivity.physicalBlockTensor_central_energy line 79
6. def OAI.ScalarConductivity.physicalBlockRegion line 97
7. lemma OAI.ScalarConductivity.physicalBlockRegion_compact line 100
8. lemma OAI.ScalarConductivity.physicalEndRegion_subset_ball line 103
9. lemma OAI.ScalarConductivity.physicalBlockRegion_subset_ball line 118
10. lemma OAI.ScalarConductivity.physicalEndRegion_mem_block line 125
11. lemma OAI.ScalarConductivity.physicalBlockRegion_central_end_exclusive_ae line 128
12. lemma OAI.ScalarConductivity.physicalBlockRegion_indicator_ae line 148