OAI/RepresentationTheory/VertexAlgebra/CreationBoundaryTaylor.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CreationBoundary.pow_remainder_le line 9
2. def OAI.CreationBoundary.powerSum line 38
3. def OAI.CreationBoundary.powerDeriv line 40
4. def OAI.CreationBoundary.weightTwo line 42
5. theorem OAI.CreationBoundary.summable_power line 44
6. theorem OAI.CreationBoundary.summable_deriv line 54
7. theorem OAI.CreationBoundary.powerSum_remainder_norm line 66