Code

Cleaning up for homotopy groups#836

Code

Draft

EgbertRijke wants to merge 3 commits intoUniMath:masterUniMath/agda-unimath:masterfrom EgbertRijke:homotopy-groupsEgbertRijke/agda-unimath:homotopy-groupsCopy head branch name to clipboard

+321-144

Commits

Commits on Oct 13, 2023

• cleaning up for homotopy groups

  EgbertRijke

  committed
  c5c291f

  Copy full SHA for c5c291f

• work

  EgbertRijke

  committed
  dc68688

  Copy full SHA for dc68688

• work

  EgbertRijke

  committed
  3f11ffd

  Copy full SHA for 3f11ffd