OAI/RepresentationTheory/VertexAlgebra/ModuleSharpBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule.finite_zeroGrowth_uniform line 13
2. theorem OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule.selfCommutator_sharp_bound line 35
3. theorem OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule.UnitaryStructure.physicalMode_cutoff_sq_of_grades line 73
4. theorem OAI.StronglyRationalVOA.CFTTypeVOA.GradingRestrictedModule.UnitaryStructure.nonzeroModes_sharp_bound line 82