Code

Fix formatting#43

Code

Merged

fpvandoorn merged 5 commits intomasterfpvandoorn/BonnAnalysis:masterfrom fix-formatfpvandoorn/BonnAnalysis:fix-formatCopy head branch name to clipboardAug 14, 2024

+175-181

Commits

Commits on Jul 23, 2024

• Update Plancherel.lean

  pitmonticone

  committed
  eaacef9

  Copy full SHA for eaacef9

• Update Dual.lean

  pitmonticone

  committed
  f853f47

  Copy full SHA for f853f47

• Update ComplexInterpolation.lean

  pitmonticone

  committed
  30cc8c3

  Copy full SHA for 30cc8c3

• Remove spaces

  pitmonticone

  committed
  166fd52

  Copy full SHA for 166fd52

Commits on Aug 14, 2024

• Merge branch 'master' into fix-format

  pitmonticone

  authored
  5666c6f

  Copy full SHA for 5666c6f