Code

Draft: Cantor#627

Code

Closed

zstone1 wants to merge 9 commits intomath-comp:mastermath-comp/analysis:masterfrom zstone1:cantorzstone1/analysis:cantorCopy head branch name to clipboard

+412

Commits

Commits on Apr 12, 2022

• Arzela Ascoli main results (math-comp#545)

  Show description for bcc5d6a
  zstone1

  authored
  bcc5d6a

  Copy full SHA for bcc5d6a

Commits on Apr 28, 2022

• Merge branch 'master' of https://github.com/math-comp/analysis

  zstone1

  committed
  12462fe

  Copy full SHA for 12462fe

Commits on May 29, 2022

• Merge branch 'master' of https://github.com/math-comp/analysis

  zstone1

  committed
  a50af39

  Copy full SHA for a50af39

• basic cantor set stuff

  Show description for 638320e
  zstone1

  committed
  638320e

  Copy full SHA for 638320e

• fixed prefixes are closed

  zstone1

  committed
  733f4a9

  Copy full SHA for 733f4a9

• working on metric

  zstone1

  committed
  5728753

  Copy full SHA for 5728753

Commits on May 30, 2022

• ugly proofs, but helpful facts

  zstone1

  committed
  c14ac71

  Copy full SHA for c14ac71

• done with most of the convergence stuff

  zstone1

  committed
  34b31b3

  Copy full SHA for 34b31b3

• cantor space metric proof

  zstone1

  committed
  99323b2

  Copy full SHA for 99323b2