OAI/Analysis/SymmetricDomains/SemialgebraicOffsetLimits.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Release061.finite_semialgebraic_ramification line 35
2. lemma OAI.Release061.tendsto_positive_vertical line 74
3. theorem OAI.Release061.semialgebraic_lipschitz_boundary_limits line 80
4. theorem OAI.Release061.semialgebraic_offset_joint_limits line 110
5. theorem OAI.Release061.semialgebraic_offset_limits line 137