OAI/Analysis/IrrationalRotation/Model/ScalarEndpointDensity.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Invariant233.ScalarEndpointDensity.cutDistance line 8
  2. def OAI.Invariant233.ScalarEndpointDensity.endpointMap line 10
  3. def OAI.Invariant233.ScalarEndpointDensity.midpoint line 12
  4. def OAI.Invariant233.ScalarEndpointDensity.slopeDensity line 14
  5. def OAI.Invariant233.ScalarEndpointDensity.averagedDensity line 17