OAI/Geometry/Kahler/BaseDensityFourier.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PinchedHartogs.BaseConstruction.bracket_smul line 20
2. lemma OAI.PinchedHartogs.BaseConstruction.centralPoint_norm line 23
3. lemma OAI.PinchedHartogs.BaseConstruction.circle_bracket_norm line 27
4. lemma OAI.PinchedHartogs.BaseConstruction.centralPoint_phase line 30
5. lemma OAI.PinchedHartogs.BaseConstruction.densityHeight_phase line 37
6. lemma OAI.PinchedHartogs.BaseConstruction.densityCorrectionRaw_eq_re line 40
7. lemma OAI.PinchedHartogs.BaseConstruction.densityCorrectionRaw_phase_expansion line 51