OAI/RepresentationTheory/VertexAlgebra/CreationBoundaryDerivative.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CreationBoundary.hasDerivWithinAt_powerSum line 9
2. theorem OAI.CreationBoundary.hasDerivAt_powerSum line 23
3. theorem OAI.CreationBoundary.analyticOnNhd_powerSum line 29
4. def OAI.CreationBoundary.circlePoint line 35
5. theorem OAI.CreationBoundary.norm_circlePoint line 37
6. theorem OAI.CreationBoundary.hasDerivAt_circlePoint line 40
7. theorem OAI.CreationBoundary.powerDeriv_zero_of_boundary line 46