OAI/RepresentationTheory/VertexAlgebra/ModuleEnergyModel.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule line 12
  2. theorem OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule.lower_truncated line 26
  3. def OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule.virasoroMode line 35
  4. def OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule.physicalMode line 37
  5. def OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule.energyShift line 39
  6. instance OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule.gradeFinite line 40
  7. def OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule.gradingEquiv line 42
  8. def OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule.gradeComponent line 45
  9. structure OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule.UnitaryStructure line 61
  10. def OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule.PolynomialEnergyBound line 69
  11. def OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule.PolynomialEnergyBounds line 72
  12. def OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule.SourceEnergyConclusion line 76