The algebraic theory of semigroups#1899

Open

lowasser wants to merge 12 commits intoUniMath:masterfrom

lowasser:universal-algebra-semigroup

Commits on Mar 16, 2026

Commits on Mar 18, 2026

Commits on Mar 19, 2026

Commits on Mar 20, 2026

Progress
lowasser
committed
Progress
lowasser
committed

Commits on Mar 22, 2026

Merge branch 'master' into universal-algebra-semigroup
lowasser
committed

Commits on Apr 1, 2026