OAI/Analysis/SymmetricDomains/SemialgebraicChartBoundaryData.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Release061.offset_joint_moving_limit line 36
2. lemma OAI.Release061.offset_joint_excluded_limit line 51
3. lemma OAI.Release061.offset_joint_interior_ball line 62
4. theorem OAI.Release061.semialgebraic_joint_boundary_data_from_family line 77
5. theorem OAI.Release061.semialgebraic_chart_boundary_data line 106