OAI/Analysis/Conductivity/Sobolev/AxialPairRank.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ScalarConductivity.axialPair line 13
2. lemma OAI.ScalarConductivity.axialPair_smooth line 15
3. lemma OAI.ScalarConductivity.axialPair_gradient_zero line 23
4. lemma OAI.ScalarConductivity.axialPair_gradient_one line 34
5. lemma OAI.ScalarConductivity.axialPair_gradient_independent line 45
6. lemma OAI.ScalarConductivity.ae_sin_coord_ne_zero line 65
7. lemma OAI.ScalarConductivity.axialPair_regularPatch line 73
8. lemma OAI.ScalarConductivity.axialPair_zero_rank line 81