OAI/Analysis/IrrationalRotation/Model/TrialSampling.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Invariant233.TrialSampling.phaseLaw line 13
  2. def OAI.Invariant233.TrialSampling.spatialLaw line 17
  3. def OAI.Invariant233.TrialSampling.average line 20
  4. def OAI.Invariant233.TrialSampling.squaredError line 26
  5. def OAI.Invariant233.TrialSampling.pairLaw line 30
  6. def OAI.Invariant233.TrialSampling.coordinateSample line 33
  7. def OAI.Invariant233.TrialSampling.coordinateIdeal line 37