OAI/RepresentationTheory/VertexAlgebra/StressPropagatorPath.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Vertex algebra, energy bounds and closed smeared-field operators.

  1. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.stressPropagator_path_difference line 38
  2. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.stressPropagator_path_tendsto line 106