OAI/RepresentationTheory/VertexAlgebra/SourceStrongRationality.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.StronglyRationalVOA.CFTTypeVOA.GradedDual line 10

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

  2. def OAI.StronglyRationalVOA.CFTTypeVOA.gradedDualPairing line 13

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

  3. def OAI.StronglyRationalVOA.CFTTypeVOA.IsSelfContragredient line 18

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

  4. def OAI.StronglyRationalVOA.CFTTypeVOA.IsStronglyRational line 27

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