Code

Refactor coproduct equivalences#1137

Code

Draft

morphismz wants to merge 5 commits intoUniMath:masterUniMath/agda-unimath:masterfrom morphismz:coproduct-equivsmorphismz/agda-unimath:coproduct-equivsCopy head branch name to clipboard

+65-27

Commits

Commits on May 3, 2024

• coproducts and finite coproducts

  morphismz

  committed
  2b1b9e9

Commits on May 5, 2024

• unabstract

  morphismz

  committed
  22666a5

• pre-commit

  morphismz

  committed
  8e53752

• unused definition

  morphismz

  committed
  0d9bc92

Commits on May 24, 2024

• Merge branch 'master' into coproduct-equivs

  morphismz

  committed
  2b688c9