OAI/Analysis/Conductivity/Fourier/PureMode.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ScalarConductivity.pureModeValue line 10
2. def OAI.ScalarConductivity.pureModePotential line 13
3. def OAI.ScalarConductivity.pureModeTensor line 16
4. lemma OAI.ScalarConductivity.pureModeValue_diff line 19
5. lemma OAI.ScalarConductivity.pureModePotential_diff line 24
6. lemma OAI.ScalarConductivity.pureModeValue_direction line 28
7. lemma OAI.ScalarConductivity.pureModePotential_curl line 40
8. lemma OAI.ScalarConductivity.pureMode_constitution line 52
9. lemma OAI.ScalarConductivity.pureModeTensor_quadratic line 69
10. lemma OAI.ScalarConductivity.pureModeTensor_bounds line 76