OAI/RepresentationTheory/VertexAlgebra/MobiusContinuity.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.continuous_mul_right line 9
2. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.mobiusVacuumPhase_continuousAt_one line 16
3. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.mobiusLiftRepresentation_continuousAt_one line 22
4. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.mobiusLiftRepresentation_continuous line 33
5. theorem OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.mobiusRepresentation_continuous line 46