Code

Arzela-Ascoli#397

Code

Closed

zstone1 wants to merge 69 commits intomath-comp:mastermath-comp/analysis:masterfrom zstone1:arzelazstone1/analysis:arzelaCopy head branch name to clipboard

+1,294-246

Commits

Commits on Dec 19, 2020

• adding domain restrictions and compact convergence

  zstone1

  committed
  05c05b3

  Copy full SHA for 05c05b3

• fixing notation

  zstone1

  committed
  b6e226a

  Copy full SHA for b6e226a

Commits on Dec 20, 2020

• hausdorff close

  zstone1

  committed
  bc5c85e

  Copy full SHA for bc5c85e

• halfway through improvements

  zstone1

  committed
  636aea4

  Copy full SHA for 636aea4

• fixed split proof style

  zstone1

  committed
  72e3eb1

  Copy full SHA for 72e3eb1

• fixing style issues

  zstone1

  committed
  ba56373

  Copy full SHA for ba56373

Commits on Dec 23, 2020

• changing convergence notation

  zstone1

  committed
  8b11f19

  Copy full SHA for 8b11f19

Commits on Dec 26, 2020

• uniform implies pointwise, and dependent pairs

  zstone1

  committed
  cd2fa7d

  Copy full SHA for cd2fa7d

• fixing build

  zstone1

  committed
  cedf06e

  Copy full SHA for cedf06e

• removing old notation

  zstone1

  committed
  bfa1f91

  Copy full SHA for bfa1f91

• Merge pull request #1 from zstone1/subspace_top

  Show description for 04ac867
  zstone1

  authored
  04ac867

  Copy full SHA for 04ac867

Commits on Jan 13, 2021

• fixing filter_on, using filter_from

  zstone1

  committed
  75250fb

  Copy full SHA for 75250fb

• getting notations to print correctly

  zstone1

  committed
  a1a3bb6

  Copy full SHA for a1a3bb6

• adding casting functions to fix pretty printing

  zstone1

  committed
  c9477c4

  Copy full SHA for c9477c4

• cleaning up relation between fam cvg and restricted cvg

  zstone1

  committed
  e41e7a5

  Copy full SHA for e41e7a5

Commits on Jan 18, 2021

• new mathcomp notations

  zstone1

  committed
  383c061

  Copy full SHA for 383c061

Commits on Mar 25, 2021

• lint

  affeldt-aist

  committed
  b90eeac

  Copy full SHA for b90eeac

Commits on May 30, 2021

• adding canonical defs

  zstone1

  committed
  a90e5ee

  Copy full SHA for a90e5ee

Commits on Jun 7, 2021

• trying to prove restricted works

  zstone1

  committed
  4fd676a

  Copy full SHA for 4fd676a

Commits on Jun 8, 2021

• adding restrict lemma

  zstone1

  committed
  be09595

  Copy full SHA for be09595

• merging

  zstone1

  committed
  dfc30c8

  Copy full SHA for dfc30c8

Commits on Jun 10, 2021

• more merge fixes

  zstone1

  committed
  9bc7fbf

  Copy full SHA for 9bc7fbf

Commits on Jun 13, 2021

• evaluation map continuous for general products

  zstone1

  committed
  ac0f18a

  Copy full SHA for ac0f18a

• pointwise compact images implies compact in ptws

  zstone1

  committed
  0dfed45

  Copy full SHA for 0dfed45

• working though pt 2

  zstone1

  committed
  4c28bae

  Copy full SHA for 4c28bae

• quite close to pt 2

  zstone1

  committed
  78a96f4

  Copy full SHA for 78a96f4

• equicontinuous closures

  zstone1

  committed
  bf4d897

  Copy full SHA for bf4d897

Commits on Jun 14, 2021

• maybe step 3

  zstone1

  committed
  8d475e6

  Copy full SHA for 8d475e6

Commits on Jun 15, 2021

• arzela ascoli forward done

  zstone1

  committed
  6d5f650

  Copy full SHA for 6d5f650

• about to finish az forward

  zstone1

  committed
  d40f431

  Copy full SHA for d40f431

Commits on Jun 18, 2021

• use pred U instead of set U in patch

  Show description for 05bb2e9
  affeldt-aist

  committed
  05bb2e9

  Copy full SHA for 05bb2e9

• forward direction of arzela ascoli done.

  zstone1

  committed
  fc8d3d3

  Copy full SHA for fc8d3d3

• now with correct definitions

  zstone1

  committed
  04dab9c

  Copy full SHA for 04dab9c

• merged pred change

  zstone1

  committed
  48234f7

  Copy full SHA for 48234f7

• various style improvements

  zstone1

  committed
  2f241da

  Copy full SHA for 2f241da

Commits on Jun 22, 2021

• adding all the useful lemmas to the changelog

  zstone1

  committed
  af87d09

  Copy full SHA for af87d09

• proof style

  zstone1

  committed
  42a4692

  Copy full SHA for 42a4692

• in the middle of updating changelog

  zstone1

  committed
  b9dbd18

  Copy full SHA for b9dbd18

Commits on Jun 23, 2021

• moving work

  zstone1

  committed
  d2bb8b7

  Copy full SHA for d2bb8b7

Commits on Jun 26, 2021

• pointwise compact images implies compact in ptws

  zstone1

  committed
  9ffcbe2

  Copy full SHA for 9ffcbe2

• working though pt 2

  zstone1

  committed
  59d1174

  Copy full SHA for 59d1174

• quite close to pt 2

  zstone1

  committed
  367657e

  Copy full SHA for 367657e

• equicontinuous closures

  zstone1

  committed
  96d49ea

  Copy full SHA for 96d49ea

• maybe step 3

  zstone1

  committed
  6af89a4

  Copy full SHA for 6af89a4

• arzela ascoli forward done

  zstone1

  committed
  c1c6998

  Copy full SHA for c1c6998

• about to finish az forward

  zstone1

  committed
  346cee8

  Copy full SHA for 346cee8

• forward direction of arzela ascoli done.

  zstone1

  committed
  09120b4

  Copy full SHA for 09120b4

• now with correct definitions

  zstone1

  committed
  2ddfd67

  Copy full SHA for 2ddfd67

• various style improvements

  zstone1

  committed
  b2c291b

  Copy full SHA for b2c291b

• proof style

  zstone1

  committed
  112d7e1

  Copy full SHA for 112d7e1

• moving work

  zstone1

  committed
  61d48c5

  Copy full SHA for 61d48c5

• az backwards almost done

  zstone1

  committed
  ed53677

  Copy full SHA for ed53677

• trying slightly more general form

  zstone1

  committed
  7e7a64d

  Copy full SHA for 7e7a64d

• arzela ascoli is done

  zstone1

  committed
  8dd5684

  Copy full SHA for 8dd5684

• fixed after merge

  zstone1

  committed
  d6a9e75

  Copy full SHA for d6a9e75

• transfering all function space topology stuff

  zstone1

  committed
  ab80148

  Copy full SHA for ab80148

• removing hausdorff assumption

  zstone1

  committed
  df401ce

  Copy full SHA for df401ce

• evaluation map continuous for general products

  zstone1

  committed
  0235023

  Copy full SHA for 0235023

Commits on Jun 27, 2021

• trying to use the weak topology instead

  zstone1

  committed
  3e20b7c

  Copy full SHA for 3e20b7c

• changing pointwise to be domain restricted also

  zstone1

  committed
  505ef31

  Copy full SHA for 505ef31

• weak topology is done

  zstone1

  committed
  a48d46b

  Copy full SHA for a48d46b

• fixing docs

  zstone1

  committed
  a292a1e

  Copy full SHA for a292a1e

• Merge branch 'trying_weak'

  zstone1

  committed
  878d924

  Copy full SHA for 878d924

• fixing changelog

  zstone1

  committed
  0297247

  Copy full SHA for 0297247

• comments and typos

  zstone1

  committed
  1ffed7c

  Copy full SHA for 1ffed7c

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

  zstone1

  committed
  0717e6f

  Copy full SHA for 0717e6f

Commits on Jun 29, 2021

• Merge branch 'arzela-back' of /~https://github.com/zstone1/analysis into arzela-back

  zstone1

  committed
  95d462b

  Copy full SHA for 95d462b

Commits on Jun 30, 2021

• everything building

  zstone1

  committed
  a016f35

  Copy full SHA for a016f35

Commits on Jul 6, 2021

• minor generalizations

  zstone1

  committed
  5988dec

  Copy full SHA for 5988dec