OAI/Analysis/SymmetricDomains/AnalyticNashRefinement.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Release061.SemialgebraicOn.analytic_off_polynomial line 37
2. def OAI.Release061.HasAnalyticNashCover line 67
3. lemma OAI.Release061.HasAnalyticNashCover.empty line 75
4. lemma OAI.Release061.HasAnalyticNashCover.union line 78
5. lemma OAI.Release061.HasAnalyticNashCover.finite_union line 90
6. lemma OAI.Release061.HasAnalyticNashCover.of_analytic line 99
7. lemma OAI.Release061.HasAnalyticNashCover.compose_patch line 106
8. theorem OAI.Release061.analytic_nash_refinement line 129