OAI/Geometry/Kahler/BaseRadii.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PinchedHartogs.BaseConstruction.testRadius line 19
2. lemma OAI.PinchedHartogs.BaseConstruction.testRadius_mem line 21
3. lemma OAI.PinchedHartogs.BaseConstruction.testRadius_near line 30
4. lemma OAI.PinchedHartogs.BaseConstruction.testRadius_tail line 43
5. lemma OAI.PinchedHartogs.BaseConstruction.testRadius_log line 59