Code

Whitehead's Lemma#1067

Code

Merged

mortberg merged 4 commits intoagda:masteragda/cubical:masterfrom owen-milner:masterowen-milner/cubical:masterCopy head branch name to clipboardOct 27, 2023

+393

Commits

Commits on Oct 19, 2023

• Whiteheads Lemma

  owen-milner

  committed
  974e7e2

  Copy full SHA for 974e7e2

• comments in Whiteheads lemma file

  owen-milner

  committed
  af97ed5

  Copy full SHA for af97ed5

• delete-trailing-whitespace

  owen-milner

  committed
  e0756ca

  Copy full SHA for e0756ca

Commits on Oct 20, 2023

• moved lemmas, removed duplicates

  owen-milner

  committed
  b91db4b

  Copy full SHA for b91db4b