OAI/Analysis/IrrationalRotation/Model/ConditionalConvolution.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.InvariantProjection.ConditionalConvolution.window line 16
  2. def OAI.InvariantProjection.ConditionalConvolution.selector line 19
  3. def OAI.InvariantProjection.ConditionalConvolution.omittedEvent line 22
  4. def OAI.InvariantProjection.ConditionalConvolution.truncated line 25
  5. def OAI.InvariantProjection.ConditionalConvolution.coeffA line 28
  6. def OAI.InvariantProjection.ConditionalConvolution.coeffB line 31
  7. structure OAI.InvariantProjection.ConditionalConvolution.Data line 34