Commit 2026-01-23 08:59 79641959

feat: definition of an irreducible representation (#32856) Define irreducible monoid representations over a field and prove that a monoid representation is irreducible iff the corresponding module over the monoid algebra is simple.