OAI/Geometry/Kahler/BaseShiftAveraging.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PinchedHartogs.BaseConstruction.root_invariant_shift_sum line 19
2. lemma OAI.PinchedHartogs.BaseConstruction.phase_real_integral line 41
3. lemma OAI.PinchedHartogs.BaseConstruction.correction_orbit_averaging line 47