OAI/Analysis/Conductivity/Flux/VariableBlockTensor.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ScalarConductivity.variableEndTensor line 18
2. lemma OAI.ScalarConductivity.variableEndTensor_properties line 23
3. def OAI.ScalarConductivity.variableBlockTensorList line 74
4. lemma OAI.ScalarConductivity.variableBlockTensorList_cons line 79
5. lemma OAI.ScalarConductivity.variableBlockTensorList_properties line 84
6. def OAI.ScalarConductivity.variableBlockTensor line 132
7. lemma OAI.ScalarConductivity.variableBlockTensor_local_list line 136
8. lemma OAI.ScalarConductivity.variableBlockTensor_local line 151
9. lemma OAI.ScalarConductivity.variableBlockTensorList_outside line 156
10. theorem OAI.ScalarConductivity.variableBlockTensor_properties line 166