OAI/RepresentationTheory/VertexAlgebra/LocalImplementer.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.stressPropagator_commutes_of_graph line 13
2. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.angularStressPath_local_action line 65
3. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.velocity_zero_of_fixed line 84
4. lemma OAI.StronglyRationalVOA.SmoothCircleLift.angularVelocity_zero_of_fixed line 91
5. lemma OAI.StronglyRationalVOA.SmoothCircleLift.angularVelocity_support_of_fixed line 98
6. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.diffeomorphism_local_action_of_fixed_lift line 111