OAI/Analysis/Conductivity/Fourier/AngularPhaseTranslation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ScalarConductivity.angularRealTranslation line 12
2. def OAI.ScalarConductivity.angularShiftPhase line 15
3. lemma OAI.ScalarConductivity.flatPhaseMode_angular_translation line 18
4. theorem OAI.ScalarConductivity.flatFourier_angular_translation line 30
5. lemma OAI.ScalarConductivity.alignedPhaseTranslation_zero line 40
6. theorem OAI.ScalarConductivity.leading_mode_normalized_alignment line 48