Code

Fix name type sequences posets#1407

Code

Merged

fredrik-bakke merged 2 commits intoUniMath:masterUniMath/agda-unimath:masterfrom

malarbol:fix-name-sequence-type-Posetmalarbol/agda-unimath:fix-name-sequence-type-PosetCopy head branch name to clipboard

Apr 24, 2025

Commits

Commits on Apr 22, 2025

• fix name type sequences posets

  malarbol

  committed
  a0cb6f3

  Copy full SHA for a0cb6f3

Commits on Apr 24, 2025

• Merge branch 'master' into fix-name-sequence-type-Poset

  fredrik-bakke

  authored
  70926be

  Copy full SHA for 70926be