OAI/Analysis/SymmetricDomains/NormalizedLocalInverse.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Release061.ambientAction line 35
2. lemma OAI.Release061.ambientAction_subtype line 39
3. def OAI.Release061.actionLocalSet line 44
4. lemma OAI.Release061.actionLocalSet_subset line 48
5. lemma OAI.Release061.actionLocalSet_open line 52
6. def OAI.Release061.normalizedLocalBiholomorph line 65
7. lemma OAI.Release061.normalizedLocalBiholomorph_forward line 78
8. lemma OAI.Release061.normalizedLocalBiholomorph_inverse line 93