OAI/RepresentationTheory/VertexAlgebra/AlgebraCovariance.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StronglyRationalVOA.projective_equality_conjugation line 8
2. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.diffeomorphism_conjugate_primary_graph line 28
3. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.diffeomorphism_conjugate_commutant line 44
4. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.localAlgebra_diffeomorphism_mem line 77
5. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.diffeomorphism_inverse_conjugation line 88
6. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.localAlgebra_diffeomorphism_iff line 94
7. lemma OAI.StronglyRationalVOA.CFTTypeVOA.UnitaryStructure.intervalAlgebra_diffeomorphism_iff line 112