Code

Refactor coproduct equivalences#1137

Code

Merged

fredrik-bakke merged 9 commits intoUniMath:masterUniMath/agda-unimath:masterfrom morphismz:coproduct-equivsmorphismz/agda-unimath:coproduct-equivsCopy head branch name to clipboardFeb 11, 2025

+135-85

Commits

Commits on May 3, 2024

• coproducts and finite coproducts

  morphismz

  committed
  2b1b9e9

  Copy full SHA for 2b1b9e9

Commits on May 5, 2024

• unabstract

  morphismz

  committed
  22666a5

  Copy full SHA for 22666a5

• pre-commit

  morphismz

  committed
  8e53752

  Copy full SHA for 8e53752

• unused definition

  morphismz

  committed
  0d9bc92

  Copy full SHA for 0d9bc92

Commits on May 24, 2024

• Merge branch 'master' into coproduct-equivs

  morphismz

  committed
  2b688c9

  Copy full SHA for 2b688c9

Commits on Feb 11, 2025

• Merge branch 'master' into coproduct-equivs

  fredrik-bakke

  authored
  30474f8

  Copy full SHA for 30474f8

• review functoriality-coproduct-types

  fredrik-bakke

  committed
  cfb0e1d

  Copy full SHA for cfb0e1d

• review univalent-combinatorics.coproduct-types

  fredrik-bakke

  committed
  084e20f

  Copy full SHA for 084e20f

• fix header

  fredrik-bakke

  committed
  125b2c9

  Copy full SHA for 125b2c9