Skip to content

[Merged by Bors] - feat(Algebra/Order/{Monoid,GroupWithZero}/Lex): ordered inclusions and projections of prod of ordered groups#22420

Closed
pechersky wants to merge 54 commits intomasterfrom
pechersky/lin-ord-g-w-zero-prod
Closed

[Merged by Bors] - feat(Algebra/Order/{Monoid,GroupWithZero}/Lex): ordered inclusions and projections of prod of ordered groups#22420
pechersky wants to merge 54 commits intomasterfrom
pechersky/lin-ord-g-w-zero-prod

Commits

Commits on Feb 28, 2025

Commits on Mar 2, 2025

Commits on Mar 3, 2025

Commits on Apr 7, 2025

Commits on May 13, 2025

Commits on Jun 5, 2025

Commits on Jun 6, 2025

Commits on Jun 8, 2025

Commits on Jun 10, 2025

Commits on Jun 15, 2025

Commits on Jun 16, 2025