OAI/Analysis/Conductivity/Flux/CascadeTensorBounds.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.cubic_axes line 10
2. lemma OAI.ScalarConductivity.crossingTensor_symm line 14
3. lemma OAI.ScalarConductivity.crossingTensor_quadratic line 21
4. lemma OAI.ScalarConductivity.dotProduct_cubic_axes line 30
5. lemma OAI.ScalarConductivity.crossingTensor_bounds line 35
6. lemma OAI.ScalarConductivity.pureModeTensor_symm line 46
7. lemma OAI.ScalarConductivity.pureModeTensor_normal line 49
8. lemma OAI.ScalarConductivity.crossingTensor_normal line 57
9. lemma OAI.ScalarConductivity.crossingTensor_continuous line 64