Code

Proved lemma 3-3#35

Code

Merged

fpvandoorn merged 5 commits intofpvandoorn:masterfpvandoorn/BonnAnalysis:masterfrom KunhongDu:lemma3-3KunhongDu/BonnAnalysis:lemma3-3Copy head branch name to clipboardJul 10, 2024

+154

Commits

Commits on Jul 7, 2024

• some progress on proving 3.3

  KunhongDu

  committed
  eb93caf

  Copy full SHA for eb93caf

• Merge remote-tracking branch 'upstream/master' into lemma3-3

  KunhongDu

  committed
  20326fd

  Copy full SHA for 20326fd

Commits on Jul 8, 2024

• Proved lemma3-3

  KunhongDu

  committed
  e38179e

  Copy full SHA for e38179e

• Proved lemma3-3

  KunhongDu

  committed
  87880b7

  Copy full SHA for 87880b7

• Merge branch 'fpvandoorn:master' into lemma3-3

  KunhongDu

  authored
  09d5caf

  Copy full SHA for 09d5caf