Commit 2026-10-02 09:33 014e37ae
View on Github →chore(Algebra/Module/Shrink): fix non-reducible instance diamond (#44405) Found by the linter in #38781.
chore(Algebra/Module/Shrink): fix non-reducible instance diamond (#44405) Found by the linter in #38781.