OAI/Analysis/TriangularHilbert/SignedWindowScalar.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TriangularHilbert.Heat.oddWindow line 10
  2. def OAI.TriangularHilbert.Heat.windowRatio line 12
  3. lemma OAI.TriangularHilbert.Heat.density_dilation line 14
  4. lemma OAI.TriangularHilbert.Heat.density_one_lambda line 26
  5. lemma OAI.TriangularHilbert.Heat.density_lambda_relation line 39
  6. lemma OAI.TriangularHilbert.Heat.density_le_lambda line 46
  7. lemma OAI.TriangularHilbert.Heat.windowRatio_eq line 53
  8. lemma OAI.TriangularHilbert.Heat.abs_mul_exp_square_le line 61
  9. lemma OAI.TriangularHilbert.Heat.abs_windowRatio_le line 71
  10. lemma OAI.TriangularHilbert.Heat.oddWindow_score line 78