Commit 2026-10-02 10:03 97b8c442
View on Github →chore(Analysis/CStarAlgebra/Module/Synonym): fix implicit instance diamond (#44406) This PR was automatically created from PR #44367 by @grunweg via a review comment by @grunweg. Found by the linter in #38781.