OAI/Geometry/Kahler/BaseDensityBandwidth.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PinchedHartogs.BaseConstruction.densityCorrection_phase_band line 20
2. lemma OAI.PinchedHartogs.BaseConstruction.densityCorrection_orbit_zero line 53
3. def OAI.PinchedHartogs.BaseConstruction.densityBandwidth line 83
4. lemma OAI.PinchedHartogs.BaseConstruction.densityBandwidth_succ line 85
5. lemma OAI.PinchedHartogs.BaseConstruction.densityBandwidth_lt line 88
6. lemma OAI.PinchedHartogs.BaseConstruction.density_bandwidth line 99