Code

Fix terminology for π-finite types#1234

Code

Merged

EgbertRijke merged 9 commits intoUniMath:masterUniMath/agda-unimath:masterfrom fredrik-bakke:rename-pi-finitefredrik-bakke/agda-unimath:rename-pi-finiteCopy head branch name to clipboardJan 6, 2025

+1,161-842

Commits

Commits on Jan 6, 2025

• disambiguate entry names and formalize missing results

  fredrik-bakke

  committed
  7d63a04

  Copy full SHA for 7d63a04

• disambiguate entry names and formalize missing results

  fredrik-bakke

  committed
  f343da6

  Copy full SHA for f343da6

• rename file pi-finite-types -> untruncated-pi-finite-types

  fredrik-bakke

  committed
  ed030d3

  Copy full SHA for ed030d3

• rename file pi-finite-types -> untruncated-pi-finite-types

  fredrik-bakke

  committed
  58ce684

  Copy full SHA for 58ce684

• rename file truncated-pi-finite-types -> pi-finite-types

  fredrik-bakke

  committed
  77d732e

  Copy full SHA for 77d732e

• rename entry is-truncated-π-finite

  fredrik-bakke

  committed
  830b641

  Copy full SHA for 830b641

• oeis for number of monoids and semigroups of a given number

  fredrik-bakke

  committed
  d41c7ae

  Copy full SHA for d41c7ae

• fix

  fredrik-bakke

  committed
  cb578ed

  Copy full SHA for cb578ed

• add citation Anel24

  fredrik-bakke

  committed
  5d115c1

  Copy full SHA for 5d115c1