OAI/Analysis/IrrationalRotation/Model/ScalarSampling.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Invariant233.ScalarSampling.delta line 10
  2. def OAI.Invariant233.ScalarSampling.rawKernel line 12
  3. def OAI.Invariant233.ScalarSampling.circleKernel line 17
  4. def OAI.Invariant233.ScalarSampling.manuscriptKernel line 20
  5. def OAI.Invariant233.ScalarSampling.manuscriptEndpointKernel line 23
  6. def OAI.Invariant233.ScalarSampling.triangularKernel line 26