Code

Five lemma#1166

Code

Open

mzhang28 wants to merge 9 commits intoagda:masteragda/cubical:masterfrom mzhang28:mzhang/fivemzhang28/cubical:mzhang/fiveCopy head branch name to clipboard

+297-3

Commits

Commits on Dec 3, 2024

• exact sequences

  mzhang28

  committed
  af2aa7a

  Copy full SHA for af2aa7a

• complete five proof

  mzhang28

  committed
  f96cc50

  Copy full SHA for f96cc50

• make five safe

  mzhang28

  committed
  6661663

  Copy full SHA for 6661663

• fix newline

  mzhang28

  committed
  b5c0ff8

  Copy full SHA for b5c0ff8

• exactness over a successor structure

  mzhang28

  committed
  4e8aa9c

  Copy full SHA for 4e8aa9c

• working again

  mzhang28

  committed
  3a0ddb7

  Copy full SHA for 3a0ddb7

• fix whitespace...

  mzhang28

  committed
  e3fcc00

  Copy full SHA for e3fcc00

• clean up, just five

  mzhang28

  committed
  07c87ff

  Copy full SHA for 07c87ff

Commits on Dec 6, 2024

• clean up

  mzhang28

  committed
  6363fa4

  Copy full SHA for 6363fa4