OAI/Analysis/SymmetricDomains/ProjectionNashChartGerms.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Release061.inverse_germ_boundary_transfer line 36
2. theorem OAI.Release061.semialgebraic_nash_chart_preimage line 64
3. structure OAI.Release061.ProjectionNashChart line 83
4. theorem OAI.Release061.projection_nash_chart_of_germs line 96