OAI/RepresentationTheory/VertexAlgebra/ProjectiveTopology.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.StronglyRationalVOA.unitaryStrongTopology line 12

   Distinct definitions of this name: ComparatorChallenges/VertexAlgebraNet.lean:530 (different declaration text). Qualify references as OAI.StronglyRationalVOA.unitaryStrongTopology@path.

2. lemma OAI.StronglyRationalVOA.unitaryStrong_isInducing line 16
3. lemma OAI.StronglyRationalVOA.unitaryStrong_continuous_apply line 19
4. lemma OAI.StronglyRationalVOA.unitaryStrong_continuous_mul_right line 23
5. lemma OAI.StronglyRationalVOA.projectiveStrong_continuous_mul_right line 31
6. instance OAI.StronglyRationalVOA.(instance at line 43) line 43