OAI/Analysis/Conductivity/Fourier/CylinderFourierGraph.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ScalarConductivity.cylinderJetCoefficient line 13
2. lemma OAI.ScalarConductivity.cylinderJetCoefficient_hasSum line 16
3. theorem OAI.ScalarConductivity.cylinderH1_of_smooth_coefficients line 32
4. theorem OAI.ScalarConductivity.cylinderGraph_of_smooth_coefficients line 45