Code

Golf a few proofs#20

Code

Merged

fpvandoorn merged 9 commits intofpvandoorn:masterfpvandoorn/carleson:masterfrom pitmonticone:golf-proofspitmonticone/carleson:golf-proofsCopy head branch name to clipboardJun 7, 2024

+53-77

Commits

Commits on Jun 7, 2024

• Update Carleson.lean

  pitmonticone

  committed
  2de3492

  Copy full SHA for 2de3492

• Update CoverByBalls.lean

  pitmonticone

  committed
  3502d13

  Copy full SHA for 3502d13

• Update Approximation.lean

  pitmonticone

  committed
  d708c8f

  Copy full SHA for d708c8f

• Update Basic.lean

  pitmonticone

  committed
  0d497e6

  Copy full SHA for 0d497e6

• Update Carleson_on_the_real_line.lean

  pitmonticone

  committed
  bd488fa

  Copy full SHA for bd488fa

• Update ClassicalCarleson.lean

  pitmonticone

  committed
  b6b1de7

  Copy full SHA for b6b1de7

• Update Dirichlet_kernel.lean

  pitmonticone

  committed
  179ed49

  Copy full SHA for 179ed49

• Update Hilbert_kernel.lean

  pitmonticone

  committed
  97c4312

  Copy full SHA for 97c4312

• Merge remote-tracking branch 'origin/master' into golf-proofs

  fpvandoorn

  committed
  ad262f8

  Copy full SHA for ad262f8