Code

isolate the theory of lime_sup#1121

Code

Merged

affeldt-aist merged 4 commits intomath-comp:mastermath-comp/analysis:masterfrom affeldt-aist:limr_supaffeldt-aist/analysis:limr_supCopy head branch name to clipboardJan 7, 2024

+668-27

Commits

Commits on Jan 7, 2024

• isolate the theory of lime_sup

  affeldt-aist

  committed
  2640fac

  Copy full SHA for 2640fac

• more modular cvg_at_leftP proof

  Show description for b7b3e2a
  

  affeldt-aist

  and

  zstone1

  committed
  b7b3e2a

  Copy full SHA for b7b3e2a

• generic def of limsup

  affeldt-aist

  committed
  02e076a

  Copy full SHA for 02e076a

• left version of a lemma

  affeldt-aist

  committed
  a6b5a2f

  Copy full SHA for a6b5a2f