OAI/RepresentationTheory/VertexAlgebra/MobiusAnomaly.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.density_smooth line 9
2. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.density_derivative line 15
3. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.density_derivative_square line 23
4. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.density_pos line 27
5. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.inverse_derivative line 31
6. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.integral_inverse_density line 38
7. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.integral_density line 46
8. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.anomaly_density line 61
9. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.anomaly_energy line 67
10. lemma OAI.StronglyRationalVOA.CircleMobiusGeometry.anomaly_constant_zero line 84