OAI/Analysis/Conductivity/Scalarization/GeneralModeEndingScalarization.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.flatFourier_div_coefficients line 19
2. lemma OAI.ScalarConductivity.normalizedFourierCoefficients_div line 26
3. lemma OAI.ScalarConductivity.normalized_flatFourier_angular_conjugacy line 34
4. theorem OAI.ScalarConductivity.general_mode_ending_H1_scalarization line 52