OAI/RepresentationTheory/VertexAlgebra/MobiusStandardAction.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.rel_circle_unique line 10
2. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.implements_circle_unique line 48
3. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.group_mk_eq line 53
4. def OAI.StronglyRationalVOA.CircleMobiusGeometry.standardAction line 63
5. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.standardAction_eq_mk line 72
6. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.standardAction_surjective line 75
7. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.center_le_standardAction_ker line 81
8. def OAI.StronglyRationalVOA.CircleMobiusGeometry.projectiveStandardAction line 92
9. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.projectiveStandardAction_rotation line 94
10. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.projectiveStandardAction_surjective line 97