OAI/Analysis/Conductivity/Fourier/FourierMatchingFamilyCorrection.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.axial_torusRate_pos line 13
2. lemma OAI.ScalarConductivity.fourierMatchingFamily_correction line 22
3. lemma OAI.ScalarConductivity.fourierMatching_corrected_equation line 58
4. theorem OAI.ScalarConductivity.smooth_fourier_matching line 92