OAI/Geometry/Kahler/BaseCorrectionMoments.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PinchedHartogs.BaseConstruction.adaptedMonomial line 20
2. lemma OAI.PinchedHartogs.BaseConstruction.adaptedMonomial_continuous line 23
3. lemma OAI.PinchedHartogs.BaseConstruction.adaptedMonomial_hopf line 27
4. lemma OAI.PinchedHartogs.BaseConstruction.patch_cutoff_squared line 34
5. lemma OAI.PinchedHartogs.BaseConstruction.correction_torus_moment line 40
6. lemma OAI.PinchedHartogs.BaseConstruction.unitInterval_integral_complex line 92
7. lemma OAI.PinchedHartogs.BaseConstruction.densityCorrection_monomial_moment line 97