OAI/Analysis/SymmetricDomains/DifferentiableCauchyTransform.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Release061.IsAffineAlgebraic.zeroLocus_vanishingIdeal line 10
2. theorem OAI.Release061.polynomial_normalization_surjective line 18
3. theorem OAI.Release061.IsAffineAlgebraic.exists_polynomial_normalization line 72
4. theorem OAI.Release061.polynomial_analytic_root line 114
5. theorem OAI.Release061.differentiableAt_intervalIntegral_of_continuousOn line 147
6. theorem OAI.Release061.differentiableAt_circleIntegral_of_analyticOnNhd line 182
7. theorem OAI.Release061.differentiableOn_cauchyTransform line 218