OAI/Analysis/Conductivity/Sources/TorusMoments.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.coordinateDivergence_smul line 14
2. lemma OAI.ScalarConductivity.coordinateDivergence_sub line 28
3. def OAI.ScalarConductivity.symmetricCrossFlux line 40
4. lemma OAI.ScalarConductivity.symmetricCrossFlux_smooth line 44
5. lemma OAI.ScalarConductivity.symmetricCrossFlux_divergence line 50
6. lemma OAI.ScalarConductivity.symmetricFlux_periodic line 68
7. lemma OAI.ScalarConductivity.symmetricCrossFlux_periodic line 75
8. lemma OAI.ScalarConductivity.torus_full_integral_eq_band line 82
9. theorem OAI.ScalarConductivity.periodic_symmetric_source_moment_formula line 94