OAI/RepresentationTheory/VertexAlgebra/SmoothTopology.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.identity line 10
  2. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.identity_apply line 15
  3. def OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.jet line 17
  4. instance OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.(instance at line 20) line 20
  5. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.continuous_jet line 23
  6. def OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.identityError line 27
  7. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.identityError_nonneg line 30
  8. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.continuous_identityError line 33
  9. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.identityError_identity line 39
  10. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.periodic_iteratedDeriv line 43
  11. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.jet_difference_periodic line 49
  12. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.periodic_bound_from_unitInterval line 63
  13. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.jet_sub_identity_le line 74
  14. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.identityError_controls_zero line 85
  15. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.identityError_controls_one line 87
  16. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.identityError_controls_higher line 89
  17. def OAI.StronglyRationalVOA.SmoothCircleLift.jet line 99

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

  18. instance OAI.StronglyRationalVOA.SmoothCircleLift.(instance at line 104) line 104
  19. lemma OAI.StronglyRationalVOA.SmoothCircleLift.continuous_jet line 107
  20. lemma OAI.StronglyRationalVOA.SmoothCircleLift.unitLift_jet line 110
  21. lemma OAI.StronglyRationalVOA.SmoothCircleLift.continuous_unitLift line 123
  22. lemma OAI.StronglyRationalVOA.SmoothCircleLift.unitLift_one line 130
  23. lemma OAI.StronglyRationalVOA.SmoothCircleLift.jet_mul line 140
  24. lemma OAI.StronglyRationalVOA.SmoothCircleLift.continuous_mul_right line 151