OAI/Analysis/Conductivity/Branching/VariableBlockEnergy.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.variableBlockTensor_central_ae line 19
2. lemma OAI.ScalarConductivity.variableBlockTensor_entry_memLp line 45
3. theorem OAI.ScalarConductivity.variableBlockTensor_weak_integrable line 57
4. lemma OAI.ScalarConductivity.variableBlockTensor_end_energy line 76
5. lemma OAI.ScalarConductivity.variableBlockTensor_central_energy line 87
6. theorem OAI.ScalarConductivity.variableBlockTensor_energy_sum line 96
7. lemma OAI.ScalarConductivity.variableBlockEnergy_continuous line 122