OAI/RepresentationTheory/VertexAlgebra/CovarianceContinuation.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.StronglyRationalVOA.SmoothCircleLift.pushTest line 10
2. lemma OAI.StronglyRationalVOA.SmoothCircleLift.pushTest_realPeriodic line 18
3. lemma OAI.StronglyRationalVOA.SmoothCircleLift.pushTest_add line 23
4. lemma OAI.StronglyRationalVOA.SmoothCircleLift.pushTest_support line 27
5. def OAI.StronglyRationalVOA.SmoothCircleLift.mapArc line 48
6. lemma OAI.StronglyRationalVOA.SmoothCircleLift.mapArc_carrier line 53
7. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.diffeomorphism_primary_test_smooth line 68
8. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.diffeomorphism_stress_test_smooth line 86